removed redundant config_java.xml
Merge branch 'unified-builtins-test' of https://github.com/kframework/k into unified-builtins-test