A Java *.class file decompiler