jEdit 5 API

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