Java Printer - Disassembler und Printprogramm übersetzter Java-Programme (http://www.desy.de/cgi-bin/man-cgijavac)