@Override
  public void setAlternativeJrePathEnabled(boolean alternativeJrePathEnabled) {
    myAlternativeJrePathEnabled = alternativeJrePathEnabled;
  }
@Override
  public void setAlternativeJrePathEnabled(boolean alternativeJrePathEnabled)