@Nullable
  private static String getJrePathForVmOptionsDocument(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);
  }
@Nullable
  private static String getJrePathForVmOptionsDocument(Document document)