pmd/pmd-jedit/config