public static File getJarFile() {
private static File getJarFile() {
    public static File getJarFile() {        File file = getJarFile(jEdit.getSettingsDirectory());        if(!file.exists()) {            file = getJarFile(jEdit.getJEditHome());        }        return file;    }