Core jEdit classes