Add new ignores as effective deletes, to remove error/warnings

lsp/src/main/java/workspace/plugins/LSPPlugin.java

@@ -1292,7 +1292,19 @@ public RPCMessageList afterChangeWatchedFiles(RPCRequest request, int actionCode
 	{
 		if (actionCode == RELOAD_AND_CHECK)
 		{
-			loadAllProjectFiles();
+			// We may have effectively deleted files by editing VDMIGNORE
+			List<File> oldIgnores = vdmignore;
+
+			loadAllProjectFiles();		// Re-reads ignore file
+
+			// Check for newly ignored files and add as deletions (processed below)
+			for (File file: vdmignore)
+			{
+				if (!oldIgnores.contains(file))
+				{
+					deleted.add(file);
+				}
+			}
 		}
 
 		RPCMessageList results = null;