Do not rewrap JKindException needlessly

loonwerks · Aug 29, 2013 · 9f96872 · 9f96872
1 parent be33bae
commit 9f96872
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/jkind-api/src/jkind/api/JKindApi.java b/jkind-api/src/jkind/api/JKindApi.java
@@ -133,6 +133,8 @@ public void execute(File lustreFile, JKindResult result, IProgressMonitor monito
 				throw new JKindException("Existing XML file cannot be removed: " + xmlFile);
 			}
 			callJKind(lustreFile, xmlFile, result, monitor);
+		} catch (JKindException e) {
+			throw e;
 		} catch (Throwable t) {
 			throw new JKindException(result.getText(), t);
 		} finally {