prototype version of muJava with manuel method filtering (this version fails 21 of 1101 tests)