org.jedit.io (jEdit API Documentation)