package edu.umass.cs.ciir.waltz.dbindex;

import java.io.File;

/**
 * @author jfoley
 */
public class DBConfig {
  private final String jdbcURL;
  private final String password;
  private final String user;

  public DBConfig(String jdbcURL, String user, String pass) {
    this.jdbcURL = jdbcURL;
    this.user = user;
    this.password = pass;
  }
  public DBConfig(String jdbcURL) {
    this(jdbcURL, "user", "");
  }
  public String getJDBCURL() { return jdbcURL; }
  public String getUser() { return user; }
  public String getPassword() { return password; }

  public static DBConfig h2File(File file) {
    return new DBConfig("jdbc:h2:file:"+file.getAbsolutePath()+";DB_CLOSE_DELAY=-1");
  }
}

@@ -600,24 +600,72 @@
 ile file) %7B%0A
+    assert(!file.getName().endsWith(%22.mv.db%22));%0A
     return n

Make sure you're not supplying the h2 extension it tacks on, because you almost never want that.