From b0ada30a31ae96646406f7862acd8afb794f5bfa Mon Sep 17 00:00:00 2001
From: Juergen Graf <juergen.graf@gmail.com>
Date: Tue, 12 Mar 2013 00:55:26 +0100
Subject: [PATCH] remove warnings from com.ibm.wala.util

---
 .../.settings/org.eclipse.jdt.core.prefs             | 12 ++++++++++++
 .../.settings/org.eclipse.jdt.launching.prefs        |  2 ++
 .../src/com/ibm/wala/util/io/FileUtil.java           |  5 ++++-
 3 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 com.ibm.wala.util/.settings/org.eclipse.jdt.launching.prefs

diff --git a/com.ibm.wala.util/.settings/org.eclipse.jdt.core.prefs b/com.ibm.wala.util/.settings/org.eclipse.jdt.core.prefs
index 704a7ba08..f0fb35c4e 100644
--- a/com.ibm.wala.util/.settings/org.eclipse.jdt.core.prefs
+++ b/com.ibm.wala.util/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,13 @@
 eclipse.preferences.version=1
+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.6
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
@@ -6,6 +15,7 @@ org.eclipse.jdt.core.compiler.compliance=1.6
 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.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
@@ -342,3 +352,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.util/.settings/org.eclipse.jdt.launching.prefs b/com.ibm.wala.util/.settings/org.eclipse.jdt.launching.prefs
new file mode 100644
index 000000000..3bb235278
--- /dev/null
+++ b/com.ibm.wala.util/.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.util/src/com/ibm/wala/util/io/FileUtil.java b/com.ibm.wala.util/src/com/ibm/wala/util/io/FileUtil.java
index cfef4e664..565548661 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/io/FileUtil.java
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/io/FileUtil.java
@@ -74,6 +74,7 @@ public class FileUtil {
    * We may have to reconsider using nio for this, or apply one of the horrible
    * workarounds listed in the bug report above.
    */
+  @SuppressWarnings("resource")
   public static void copy(String srcFileName, String destFileName) throws IOException {
     if (srcFileName == null) {
       throw new IllegalArgumentException("srcFileName is null");
@@ -192,6 +193,8 @@ public class FileUtil {
    * @throws IOException
    */
   public static void writeFile(File f, String content) throws IOException {
-    new FileWriter(f).append(content).close();
+    final FileWriter fw = new FileWriter(f);
+    fw.append(content);
+    fw.close();
   }
 }
\ No newline at end of file