public abstract void setDatabaseOutputDir(String databaseOutputDir);
public final void setDatabaseOutputDir(String databaseOutputDir) { if (DEBUG) System.out.println("Setting database output directory: " + databaseOutputDir); this.databaseOutputDir = databaseOutputDir; }
	public abstract void setDatabaseOutputDir(String databaseOutputDir);