Author: scabanovich
Date: 2008-03-31 09:01:18 -0400 (Mon, 31 Mar 2008)
New Revision: 7207
Modified:
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/util/FileUtil.java
Log:
JBIDE-893
Modified:
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/util/FileUtil.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/util/FileUtil.java 2008-03-31
12:52:19 UTC (rev 7206)
+++
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/util/FileUtil.java 2008-03-31
13:01:18 UTC (rev 7207)
@@ -135,7 +135,7 @@
if(f.isFile() && !isSameFile(f)) f.delete();
if(!f.exists()) f.createNewFile();
} catch (Exception e) {
- CommonPlugin.getPluginLog().logError(e);
+ CommonPlugin.getPluginLog().logError("Problem writing to file " +
f, e);
}
PrintWriter pw = new PrintWriter(new FileWriter(f));
pw.print(value);
@@ -404,7 +404,7 @@
}
}
- public static void unzip(File dest, String jar) throws Exception {
+ public static void unzip(File dest, String jar) throws IOException {
dest.mkdirs();
ZipFile zf = new ZipFile(jar);
try {