kframework/k — pull request #1213 by dwightguth (2014-11-26 19:34:07+00:00)
Title: add javaBackendHooks method to AbstractKModule + clean up BuiltinFunctio...

...n code

**do not review yet**