Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
gnodet committed Apr 2, 2019
1 parent 839ddcf commit 40e0b2f
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -380,7 +380,7 @@ private File extract(ArrayList<Throwable> errors, URL source, String prefix, Str
}
} catch (Throwable e) {
IOException io;
if( target!=null ) {
if (target != null) {
target.delete();
io = new IOException("Unable to extract library from " + source + " to " + target);
} else {
Expand All @@ -393,7 +393,7 @@ private File extract(ArrayList<Throwable> errors, URL source, String prefix, Str
}

static private void close(Closeable file) {
if(file!=null) {
if (file != null) {
try {
file.close();
} catch (Exception ignore) {
Expand Down

0 comments on commit 40e0b2f

Please sign in to comment.