public JavaPlatform(PlatformId platform, JavaSystemFunctionTranslator systemFunctionTranslator, AbstractOpenGlTranslator openGlTranslator) : base(platform, LanguageId.JAVA, false, new JavaTranslator(), systemFunctionTranslator, openGlTranslator, null) { }
public JavaPlatform(PlatformId platform, JavaSystemFunctionTranslator systemFunctionTranslator) : base(platform, LanguageId.JAVA, new JavaTranslator(), systemFunctionTranslator) { }