Correct two few signed/unsigned bugs (BIPUSH and IINC)
Add IDIV - division of two integers
Change rewrite to use ErrorT for abort errors (as opposed to soft errors through fail) and to keep track of consumed size. Also commit partial try-catch code (needs to be split into two passes before it can work).
Correct '/' (was '*') and add '%'
Use throwError for hard errors
More robust rewriting of if-then-else (S_ifElse)
Minor: cleanup of parsers (move common statement parsers and checkers to Rewrite)
Much simpler try-catch structure parsing (possible due to ErrorT bailout)
Remove redundant export
Update if-test to cover more cases
Minor: cleanup
Add some types and use Stmt instead of LabelStmt for stmtToJava
Split testJava in two: a small testJava and a runJavaTwice
First shot at using QuickCheck to auto-test the decompiler
Make S_try{} take over the label of the following statement (to avoid having two of the same labels)
Minor: cleanup
Minor: cleanup
Split catches and finally clause in S_tryCatch
Minor: cleanup
Quickfix typing code (needs total rewrite)