Error in jedit svn revision 9820+