@NotNull
  public String getSshTunnelSetting() {
    // TODO: Utilize both system and user settings
    return StringUtil.notNullize(getConfigFile().getValue("tunnels", "ssh"));
  }
@NotNull
  public String getSshTunnelSetting()