org.gjt.sp.jedit.Buffer.insertFile(View,String)
org.gjt.sp.jedit.Buffer.save(View,String,boolean)
org.gjt.sp.jedit.Buffer.getDefaultProperty(String)
org.gjt.sp.jedit.Buffer.finishSaving(View,String,String,String,boolean,boolean)