UnstableChanges

Summary

  1. Guard against missing module names (commit: 50da1be) (details)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java (diff)