Buffer.java, org.gjt.sp.jedit: 3958
