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
same as above. We have tests for both pattern matching and unification using kool-dynamic.