Package org.jedit.misc