From 397654729d78ac64b9bfb800239fd913957dc249 Mon Sep 17 00:00:00 2001
From: Juergen Graf <juergen.graf@gmail.com>
Date: Tue, 12 Mar 2013 00:57:31 +0100
Subject: [PATCH] remove warnings from com.ibm.wala.shrike

---
 .../.settings/org.eclipse.jdt.core.prefs            | 13 ++++++++++++-
 .../.settings/org.eclipse.jdt.launching.prefs       |  2 ++
 .../src/com/ibm/wala/shrike/bench/Mangler.java      |  1 +
 3 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 com.ibm.wala.shrike/.settings/org.eclipse.jdt.launching.prefs

diff --git a/com.ibm.wala.shrike/.settings/org.eclipse.jdt.core.prefs b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.core.prefs
index 8fcf3aa93..148c00aa7 100644
--- a/com.ibm.wala.shrike/.settings/org.eclipse.jdt.core.prefs
+++ b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.core.prefs
@@ -1,6 +1,14 @@
-#Thu Feb 03 10:12:26 EST 2011
 eclipse.preferences.version=1
 instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+org.eclipse.jdt.core.builder.cleanOutputFolder=clean
+org.eclipse.jdt.core.builder.duplicateResourceTask=warning
+org.eclipse.jdt.core.builder.invalidClasspath=abort
+org.eclipse.jdt.core.builder.recreateModifiedClassFileInOutputFolder=ignore
+org.eclipse.jdt.core.builder.resourceCopyExclusionFilter=,*.g
+org.eclipse.jdt.core.circularClasspath=error
+org.eclipse.jdt.core.classpath.exclusionPatterns=enabled
+org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled
+org.eclipse.jdt.core.classpath.outputOverlappingAnotherSource=error
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
@@ -9,6 +17,7 @@ org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
 org.eclipse.jdt.core.compiler.doc.comment.support=enabled
+org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.autoboxing=ignore
@@ -341,3 +350,5 @@ org.eclipse.jdt.core.formatter.use_on_off_tags=false
 org.eclipse.jdt.core.formatter.use_tabs_only_for_leading_indentations=false
 org.eclipse.jdt.core.formatter.wrap_before_binary_operator=true
 org.eclipse.jdt.core.formatter.wrap_outer_expressions_when_nested=true
+org.eclipse.jdt.core.incompatibleJDKLevel=ignore
+org.eclipse.jdt.core.incompleteClasspath=error
diff --git a/com.ibm.wala.shrike/.settings/org.eclipse.jdt.launching.prefs b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.launching.prefs
new file mode 100644
index 000000000..3bb235278
--- /dev/null
+++ b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.launching.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore
diff --git a/com.ibm.wala.shrike/src/com/ibm/wala/shrike/bench/Mangler.java b/com.ibm.wala.shrike/src/com/ibm/wala/shrike/bench/Mangler.java
index e2bbd64ea..c0c8045d2 100644
--- a/com.ibm.wala.shrike/src/com/ibm/wala/shrike/bench/Mangler.java
+++ b/com.ibm.wala.shrike/src/com/ibm/wala/shrike/bench/Mangler.java
@@ -67,6 +67,7 @@ public class Mangler {
         seed = Integer.parseInt(args[0]);
       } catch (NumberFormatException ex) {
         System.err.println("Invalid number: " + args[0]);
+        w.close();
         return;
       }