String (Document document) { String path = document.getUserData(EditCustomVmOptionsAction.JRE_PATH_KEY); if (path != null) { return path; } JavaRunConfigurationBase settings = document.getUserData(VmOptionsEditor.SETTINGS_KEY); if (settings == null) return null; return getJrePath(settings); }