}
	public void dumpTables() {		if(tables != null) {		for(int i=0; i < tables.size(); i++) {			Table tmp = (Table) tables.get(i);			System.out.println("Database model has table: "+tmp.getName());		}	}	}