clean up code that was stagnant in tests/configjavarw.xml + re-add pdf s...

...kips

@osa1 please review ktest code. @yilongli please review merge of configjavarw.xml
Testing simple-untyped using unification is intentionally excluded because it doesn't give us much benefit.