Catch NoSuchFileException as well

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();
 		}
 

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);