Package org.jedit.util