Package org.jedit.core

Core jEdit classes