public void printTableLine(PrintStream ps, int idx) {
String[] line = table.get(idx);
for (int i = 0; i < line.length; i++) {
ps.print(String.format("%s%s", i > 0 ? "\t" : "", line[i]));
}
}
public void printHeaderLine(PrintStream ps) {
for (int i = 0; i < header.size(); i++) {
ps.print(String.format("%s%s", i > 0 ? "\t" : "", header.get(i)));
}
}
