misc. findbugs fixes

This commit is contained in:
zzz
2011-07-08 17:40:43 +00:00
parent f173e88787
commit 9d4cc26890
4 changed files with 15 additions and 11 deletions

View File

@ -783,7 +783,7 @@ public class SnarkManager implements Snark.CompleteListener {
throw ioe;
} finally {
try {
if (out == null)
if (out != null)
out.close();
} catch (IOException ioe) {}
}