HSQLDB connection URL: user and pwd properties

Chapter 12 of the HSQLDB docs says: "The properties user and password a开发者_开发技巧re always required." but AFAICT does not specify the syntax for supplying them as part of the URL.

An example using the URL is below:

jdbc:hsqldb:hsql://localhost/enrollments;user=user500240;password=nothing

If you are using a java.util.Properties object with the DriverManager.getConnection (String url, Properties info) call, then you should set the properties with the calls below before calling the getConnection method:

info.setProperty("user", "user500240");
info.setProperty("password", "nothing");

Update: Links to Javadoc and the Guide:

http://hsqldb.org/doc/2.0/apidocs/org.hsqldb/org/hsqldb/jdbc/JDBCConnection

http://hsqldb.org/doc/guide/dbproperties-chapt.html#dpc_connection_url