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