//This file generated automatically from the MARIUS LP system, please do not edit.

public class Seagate implements DiscoDuro {

 public void almacena(){ System.out.println("Seagate"); }

} //End of class Seagate