Add workaround for JavaExtern. Core.crs4 now compiles.
Add workaround for JavaExtern. Core.crs4 now compiles.

TransScript/TransScript,crsx/crsx4,tosca-lang/tosca,tosca-lang/tosca,TransScript/TransScript,crsx/crsx4,tosca-lang/tosca