kframework/k — pull request #790 by dwightguth (2014-08-05 15:29:41+00:00)
Title: 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