From 89860b53bbdda18c9377b7735e1697ad325b2e7f Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@cs.wisc.edu>
Date: Sun, 14 Jan 2018 21:06:56 -0600
Subject: [PATCH] Let Buildship create new settings files when importing

These settings files currently are generated with an initial timestamp
comment line, which is not something we'd want to track in version
control.  Fortunately, the contents of these files are entirely
mundane, so there should be no problem with having Buildship generate
them anew each time a developer imports WALA into Eclipse as an
existing Gradle project.
---
 .gitignore                                                     | 2 ++
 .settings/org.eclipse.buildship.core.prefs                     | 3 ---
 .../.settings/org.eclipse.buildship.core.prefs                 | 1 -
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.cast/.settings/org.eclipse.buildship.core.prefs   | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.core/.settings/org.eclipse.buildship.core.prefs   | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.dalvik/.settings/org.eclipse.buildship.core.prefs | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.ide/.settings/org.eclipse.buildship.core.prefs    | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.shrike/.settings/org.eclipse.buildship.core.prefs | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 com.ibm.wala.util/.settings/org.eclipse.buildship.core.prefs   | 2 --
 .../.settings/org.eclipse.buildship.core.prefs                 | 2 --
 35 files changed, 2 insertions(+), 68 deletions(-)
 delete mode 100644 .settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala-repository/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.java.ecj/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.java.test.data/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.java.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.java/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.html.nu_validator/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.nodejs.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.nodejs/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.rhino.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.rhino/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.test.data/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.js/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.cast/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.core.testdata/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.core.tests/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.core/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.dalvik.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.dalvik/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide.jdt.test/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide.jdt/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide.jsdt.tests/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide.jsdt/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide.tests/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.ide_feature/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.scandroid/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.shrike/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.tests.ide_feature/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.tests_feature/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala.util/.settings/org.eclipse.buildship.core.prefs
 delete mode 100644 com.ibm.wala_feature/.settings/org.eclipse.buildship.core.prefs

diff --git a/.gitignore b/.gitignore
index 39cccfc97..d7b017bc8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,9 @@
 .classpath
 .metadata/
 .project
+/*/.settings/org.eclipse.buildship.core.prefs
 /.gradle/
+/.settings/org.eclipse.buildship.core.prefs
 /build/
 com.ibm.wala.cast.java.jdt.test/
 com.ibm.wala.cast.java.polyglot/lib/
diff --git a/.settings/org.eclipse.buildship.core.prefs b/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 136156472..000000000
--- a/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Fri Dec 15 16:39:30 CST 2017
-eclipse.preferences.version=1
-connection.project.dir=
diff --git a/com.ibm.wala-repository/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala-repository/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index d7aa086c9..000000000
--- a/com.ibm.wala-repository/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1 +0,0 @@
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.java.ecj/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.java.ecj/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.java.ecj/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.java.test.data/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.java.test.data/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.java.test.data/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.java.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.java.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.java.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.java/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.java/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.java/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.html.nu_validator/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.html.nu_validator/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.html.nu_validator/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.nodejs.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.nodejs.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.nodejs.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.nodejs/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.nodejs/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.nodejs/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.rhino.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.rhino.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.rhino.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.rhino/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.rhino/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.rhino/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.js/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.js/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.js/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.cast/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.cast/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.cast/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.core.testdata/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.core.testdata/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.core.testdata/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.core.tests/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.core.tests/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.core.tests/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.core/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.core/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.core/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.dalvik.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.dalvik.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.dalvik.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.dalvik/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.dalvik/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.dalvik/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide.jdt.test/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide.jdt.test/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide.jdt.test/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide.jdt/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide.jdt/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide.jdt/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide.jsdt.tests/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide.jsdt.tests/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide.jsdt.tests/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide.jsdt/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide.jsdt/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide.jsdt/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide.tests/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide.tests/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide.tests/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.ide_feature/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.ide_feature/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.ide_feature/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.scandroid/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.scandroid/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.scandroid/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.shrike/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.shrike/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.shrike/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.tests.ide_feature/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.tests.ide_feature/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.tests.ide_feature/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.tests_feature/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.tests_feature/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.tests_feature/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala.util/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala.util/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala.util/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..
diff --git a/com.ibm.wala_feature/.settings/org.eclipse.buildship.core.prefs b/com.ibm.wala_feature/.settings/org.eclipse.buildship.core.prefs
deleted file mode 100644
index 2283e1f1e..000000000
--- a/com.ibm.wala_feature/.settings/org.eclipse.buildship.core.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-connection.project.dir=..