jEdit 5 API
New classes should go here instead of under
org.gjt.sp
packages.