p.print(mod.getPatchLevel()); p.print(" Producer: "); p.println(mod.getProducer()); p.print(" Description: "); p.println(mod.getDescription());
p.print(mod.getPatchLevel()); p.print(" Producer: "); p.println(mod.getProducer()); p.print(" Description: "); p.println(mod.getDescription());
p.print(mod.getPatchLevel()); p.print(" Producer: "); p.println(mod.getProducer()); p.print(" Description: "); p.println(mod.getDescription());