diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java index b99001771afae3997a74d8ba9f6bd801fccbb4fd..41067e1c1f868e81f40f71ba36eff573f0c7147f 100644 --- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java +++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java @@ -9,6 +9,7 @@ package de.bmotionstudio.gef.editor.library; import java.io.File; import java.io.FileInputStream; import java.io.FileNotFoundException; +import java.nio.file.NoSuchFileException; import org.eclipse.core.resources.IFile; import org.eclipse.core.resources.IFolder; @@ -90,7 +91,7 @@ public class ImportImagesAction extends AbstractLibraryAction { } catch (CoreException e1) { e1.printStackTrace(); - } catch (FileNotFoundException e) { + } catch (FileNotFoundException | NoSuchFileException e) { e.printStackTrace(); } diff --git a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java index 0860779f1f4078267f51ca61d5bd48cf6cd19233..78be9b348aa76d005238be8f0dc1671d7f1becfa 100644 --- a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java +++ b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java @@ -14,6 +14,7 @@ import java.io.FileReader; import java.io.IOException; import java.io.ObjectInputStream; import java.io.ObjectOutputStream; +import java.nio.file.NoSuchFileException; import java.util.ArrayList; import java.util.Arrays; import java.util.HashSet; @@ -405,7 +406,7 @@ public final class LtlCheckingDialog extends TrayDialog { formulas.select(0); close(); - } catch (FileNotFoundException e) { + } catch (FileNotFoundException | NoSuchFileException e) { Logger.notifyUser("File not found", e); } catch (IOException e) { Logger.notifyUser("Unexpected IO exception", e);