Plugin classes required by jEdit