diff --git a/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/JavaProjectSetupUtil.java b/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/JavaProjectSetupUtil.java index 518a637f71c..498cea35f2b 100644 --- a/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/JavaProjectSetupUtil.java +++ b/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/JavaProjectSetupUtil.java @@ -380,6 +380,7 @@ public static void addJreClasspathEntry(IJavaProject javaProject, String bree, b private static boolean isJava7Default = false; + @Deprecated public static void makeJava7Default() { if (!isJava7Default) { IExecutionEnvironmentsManager manager = JavaRuntime.getExecutionEnvironmentsManager();