assertFalse(result); // Nothing to remove
        }
    }

    @Nested
    @DisplayName("Schema Location Operations")
    class SchemaLocationOperationTests {

        @ParameterizedTest
        @ValueSource(strings = {"4.0.0", "4.1.0", "4.2.0"})
        @DisplayName("should get schema location for model version")
        void shouldGetSchemaLocationForModelVersion(String targetVersion) {

        }
        return List.copyOf(selectedExtensions.values());
    }

    protected String formatLocation(InputLocation location) {
        return location.getSource().getLocation() + ":" + location.getLineNumber();
    }

echo. 1>&2
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
echo. 1>&2
echo Please set the JAVA_HOME variable in your environment to match the 1>&2
echo location of your Java installation. 1>&2

goto fail

:findJavaFromJavaHome
set JAVA_HOME=%JAVA_HOME:"=%
set JAVA_EXE=%JAVA_HOME%/bin/java.exe

if exist "%JAVA_EXE%" goto execute

echo. 1>&2

        buffer.append('[').append(getSeverity()).append("] ");
        buffer.append(getMessage());
        String location = getLocation();
        if (!location.isEmpty()) {
            buffer.append(" @ ");
            buffer.append(location);
        }

        return buffer.toString();
    }

     */
    int getColumnNumber();

    /**
     * Gets the location of the problem. The location is a user-friendly combination of the values from
     * {@link #getSource()}, {@link #getLineNumber()} and {@link #getColumnNumber()}. The exact syntax of the returned
     * value is undefined.
     *
     * @return The location of the problem, never {@code null}.
     */
    String getLocation();

    /**

    }

    /**
     * Constructs the redirect location from a base URL and location header.
     *
     * @param url The base URL
     * @param location The location header value
     * @return The constructed redirect location
     */
    protected static String constructRedirectLocation(final String url, final String location) {
        try {
            URI uri = new URI(url);

});

function setEventHandlers(){
  $('#info').click(function(){ openPage("info.html") } );
  $('#home').click(function(){ openPage("home.html") } );
}

function openPage(page){
  $('#content').load(page);
  location.hash = page;
}

function addFooter(msg){
  $('#footer').html($('#footer').html() + "<p>FOOTER: " + msg + "</p>");

    /**
     * Gets the redirect location if the response is a redirect.
     *
     * @return the redirect location URL, or null if not a redirect
     */
    public String getRedirectLocation() {
        return redirectLocation;
    }

    /**
     * Sets the redirect location if the response is a redirect.
     *
     * @param redirectLocation the redirect location URL to set
     */

    assert response.status_code == 200, response.text

    client = TestClient(app)
    response = client.get("/", follow_redirects=False)
    assert response.status_code == 307, response.text

 |
 |  1. User Level. This toolchains.xml file provides configuration for a single user,
 |                 and is normally provided in ${user.home}/.m2/toolchains.xml.
 |
 |                 NOTE: This location can be overridden with the CLI option:
 |
 |                 -t /path/to/user/toolchains.xml
 |
 |  2. Installation Level.
 |                 This toolchains.xml file provides configuration for all Maven