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