--- beanshell-2.0b6/src/bsh/util/AWTConsole.java~	2016-02-05 18:16:07.000000000 +0100

+++ beanshell-2.0b6/src/bsh/util/AWTConsole.java	2019-10-28 14:07:07.370526037 +0100

@@ -212,7 +212,7 @@

 		We have to get to the peer because TextComponent will refuse to

 		let us set us set a caret position greater than the text length.

 		Great.  What a piece of crap.

-	*/

+	//

 	public void setCaretPosition( int pos ) {

 		((java.awt.peer.TextComponentPeer)getPeer()).setCaretPosition( 

 			pos + countNLs() );