From 0fab9778c3311a17240eba95d92d9db864060f08 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 18 Mar 2011 12:46:14 +0000
Subject: [PATCH] add a comment about a resource leak problem

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.util/src/com/ibm/wala/util/io/FileUtil.java | 7 +++++++
 1 file changed, 7 insertions(+)

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 b9b5de77d..3fa5d5158 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
@@ -66,6 +66,13 @@ public class FileUtil {
     return result;
   }
 
+  /**
+   * This may be a resource leak:
+   * http://bugs.sun.com/view_bug.do?bug_id=4724038
+   * 
+   * We may have to reconsider using nio for this, or apply one of the horrible
+   * workarounds listed in the bug report above.
+   */
   public static void copy(String srcFileName, String destFileName) throws IOException {
     if (srcFileName == null) {
       throw new IllegalArgumentException("srcFileName is null");