src/Tools/jEdit/src/jedit_resources.scala

--- a/src/Tools/jEdit/src/jedit_resources.scala	Fri Mar 13 16:09:55 2015 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Fri Mar 13 21:35:48 2015 +0100
@@ -79,13 +79,6 @@
     }
   }
 
-  def check_file(view: View, file: String): Boolean =
-    try {
-      if (Url.is_wellformed(file)) Url.is_readable(file)
-      else (new JFile(file)).isFile
-    }
-    catch { case ERROR(_) => false }
-
 
   /* file content */