From 93c48713ea9afab2099c206e37a734e53db0f5f9 Mon Sep 17 00:00:00 2001
From: Dani Megert
Date: Wed, 2 Feb 2011 15:52:38 +0000
Subject: Report error if there's no strictly matching JRE for the EE.

---
 org.eclipse.ui.console/.settings/org.eclipse.jdt.launching.prefs | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 org.eclipse.ui.console/.settings/org.eclipse.jdt.launching.prefs

(limited to 'org.eclipse.ui.console')

diff --git a/org.eclipse.ui.console/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ui.console/.settings/org.eclipse.jdt.launching.prefs
new file mode 100644
index 000000000..9efd017e0
--- /dev/null
+++ b/org.eclipse.ui.console/.settings/org.eclipse.jdt.launching.prefs
@@ -0,0 +1,3 @@
+#Wed Feb 02 16:44:07 CET 2011
+eclipse.preferences.version=1
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
-- 
cgit v1.2.1