Emit valid Java for MLexn and MLaxiom (#6)#13

cedretaber wants to merge 2 commits into

java_extractionproof-ninja/rocq:java_extractionfrom

feat/java-exn-axiomproof-ninja/rocq:feat/java-exn-axiomCopy head branch name to clipboard