net.sourceforge.pmd.jedit.PMDJEditPlugin.check(view);
net.sourceforge.pmd.jedit.PMDJEditPlugin.displayPreferencesDialog(view);