// RowlandServletDesc, by Rowland
// A description of a servlet, to be passed to RowlandJettyServer
public class RowlandServletDesc {
    public final String driverName;
    /** jdbcURL1 is the first part of the URL, before the URI **/
    public final String jdbcURL1;
    public final String URI;
    /** className must match the name of the class implementing the Servlet interface **/
    public final String className;

    RowlandServletDesc(String _driverName, String _jdbcURL1, String _URI, String _className) {
	driverName  = _driverName;
	jdbcURL1    = _jdbcURL1;
	URI         = _URI;
	className   = _className;
    }
}