public final static void changeConfiguration(JikesRVMInstall install, boolean useDefaults) { new JikesRVMChangeConfigurationDialog(install, useDefaults).open();
public final static void changeConfiguration(Shell parent, JikesRVMInstall install, boolean useDefaults) { new JikesRVMChangeConfigurationDialog(parent, install, useDefaults).open();
  public final static void changeConfiguration(JikesRVMInstall install, boolean useDefaults) {    new JikesRVMChangeConfigurationDialog(install, useDefaults).open();  }