18585: actually remove the old Java SDK.

[arvados.git] / sdk / java / .settings / org.eclipse.jdt.core.prefs

diff --git a/sdk/java/.settings/org.eclipse.jdt.core.prefs b/sdk/java/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644 (file)
index f4f19ea..0000000
--- a/sdk/java/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,5 +0,0 @@
-#Mon Apr 28 10:33:40 EDT 2014
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.source=1.6
-org.eclipse.jdt.core.compiler.compliance=1.6