private static void updateTablePane() // pane 3
	{
		Vector labels = new Vector();
		labels.add("Table");
		labels.add("Name");

		Vector lines = new Vector();

		for (int k = 0; k < DiningRoom.size(); k++) // for each table
		{
			Vector stu = new Vector(((Table) DiningRoom.get(k)).getIDList());

			int thisStuIndex = 0;
			Student thisStu = new Student();

			for (int j = 0; j < stu.size(); j++) {
				Vector line = new Vector();
				String thisStudentID = new String((String) stu.get(j));
				thisStuIndex = getIndexOfStu(thisStudentID);
				thisStu = (Student) Students.get(thisStuIndex);

				line.add(new Integer(k + 1));
				line.add(thisStu.getfName() + " " + thisStu.getlName());
				lines.add(line);
			}
		}

		tableInfo.setDataVector(lines, labels);
		tableTable = new JTable(tableInfo);
	}