Bug 249593 - Cannot set default compiler level for product
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
index 5106c5e..f113e73 100644
--- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
+++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2008 IBM Corporation and others.
+ * Copyright (c) 2000, 2009 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -2699,7 +2699,7 @@
compliance = JavaCore.VERSION_1_7;
}
if (compliance != null) {
- Hashtable defaultOptions = JavaCore.getDefaultOptions();
+ Map defaultOptions = JavaCore.getOriginalDefaultOptions();
Hashtable options = JavaCore.getOptions();
boolean isDefault =
equals(JavaCore.COMPILER_COMPLIANCE, defaultOptions, options) &&
