* comment: Port number for the HTTP proxy server (e.g., 8080).
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getHttpProxyPort();

    /**
     * Get the value for the key 'http.proxy.port' as {@link Integer}. <br>
     * The value is, e.g. 8080 <br>
     * comment: Port number for the HTTP proxy server (e.g., 8080).