updated to jedit_build-20110618, which is required for sub/superscript rendering;
updated to jedit_build-20110618, which is required for sub/superscript rendering;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle