public String getConfigurationDirectory() {
    if (myState.directory.path == null || isUseDefaultConfiguration()) {
      myState.directory.path = USER_CONFIGURATION_PATH.getValue().toString();
    }
    return myState.directory.path;
  }
public String getConfigurationDirectory()