org.gjt.sp.jedit.jEdit.openFile(View,String,String,boolean,Hashtable)