bigfix: gets rid of "too many open files" error

also
- bugfix: lexing of integers
- some cleanup (note: Jstar.preprocess_jimple has stronger assumptions
than the equivalent code from before)