Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefan Xenos2016-04-18 15:34:46 +0000
committerStefan Xenos2016-04-18 15:34:46 +0000
commita0cc0d24778652f7ab3ce880ff84fde0b082469d (patch)
tree85abd61ff8b383f36d5e8a9c92a8c192afbfa649
parent790652f8bd1c247f29872621ca43f5b825104677 (diff)
downloadeclipse.platform.team-a0cc0d24778652f7ab3ce880ff84fde0b082469d.tar.gz
eclipse.platform.team-a0cc0d24778652f7ab3ce880ff84fde0b082469d.tar.xz
eclipse.platform.team-a0cc0d24778652f7ab3ce880ff84fde0b082469d.zip
Bug 490012 - Remove the "strictly compatible JRE" per-project override from all projects in the Eclipse SDKY20160421-1000I20160419-0800
Change-Id: If95f33af16bd637283389d55d11f1461addd2050 Signed-off-by: Stefan Xenos <sxenos@gmail.com>
-rw-r--r--bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.releng/platformTeam.setup54
-rw-r--r--bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--tests/org.eclipse.core.tests.net/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--tests/org.eclipse.team.tests.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--tests/org.eclipse.team.tests.cvs.core/.settings/org.eclipse.jdt.launching.prefs3
14 files changed, 1 insertions, 92 deletions
diff --git a/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 58060f576..000000000
--- a/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:35:28 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 44fca4e83..000000000
--- a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:37:12 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 6e0451f97..000000000
--- a/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:33:15 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 375d810f8..000000000
--- a/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:40:09 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index cc86bca8e..000000000
--- a/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:20 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 2bc854e5e..000000000
--- a/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:32 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 73a68d372..000000000
--- a/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:51 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index b70b14856..000000000
--- a/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:01 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.releng/platformTeam.setup b/bundles/org.eclipse.team.releng/platformTeam.setup
index af457cca7..c4e7baeb3 100644
--- a/bundles/org.eclipse.team.releng/platformTeam.setup
+++ b/bundles/org.eclipse.team.releng/platformTeam.setup
@@ -40,58 +40,6 @@
<description>Platform Team</description>
</setupTask>
<setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare.win32/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.core.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.ssh2/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.ui/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.ui/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.ui.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.core.tests.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.tests.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.tests.cvs.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
xsi:type="setup.targlets:TargletTask">
<targlet
name="Platform Team"
@@ -114,7 +62,7 @@
project="org.eclipse.team.core"/>
<operand
xsi:type="workingsets:ExclusionPredicate"
- excludedWorkingSet="//@setupTasks.16/@workingSets.1 //@setupTasks.16/@workingSets.2"/>
+ excludedWorkingSet="//@setupTasks.3/@workingSets.1 //@setupTasks.3/@workingSets.2"/>
</predicate>
</workingSet>
<workingSet
diff --git a/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 0c7298f54..000000000
--- a/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:34 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 69557b732..000000000
--- a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:41:02 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/tests/org.eclipse.core.tests.net/.settings/org.eclipse.jdt.launching.prefs b/tests/org.eclipse.core.tests.net/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 6f98c7474..000000000
--- a/tests/org.eclipse.core.tests.net/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:40:43 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/tests/org.eclipse.team.tests.core/.settings/org.eclipse.jdt.launching.prefs b/tests/org.eclipse.team.tests.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 35e4dbcb7..000000000
--- a/tests/org.eclipse.team.tests.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:20 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/tests/org.eclipse.team.tests.cvs.core/.settings/org.eclipse.jdt.launching.prefs b/tests/org.eclipse.team.tests.cvs.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index fc9f2380f..000000000
--- a/tests/org.eclipse.team.tests.cvs.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:27 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top