protected void handleFile(File file, int depth, Collection results) {
		Statement st = null;
		ResultSet rs = null;

		if (file.getName().endsWith(".xml") || file.getName().endsWith(".xmlc")
				|| file.getName().endsWith(".hdf5a")
				|| file.getName().endsWith(".hdf5b")) {

			String sql = "update Stats set sizeOnDiskInBytes = "
					+ file.length() + " where fileName = \"" + file.getName()
					+ "\"";

			try {
				st = con.createStatement();
				st.execute(sql);
			} catch (SQLException ex) {
				System.out.println(ex.getMessage());
			} finally {
				try {
					if (rs != null) {
						rs.close();
					}
					if (st != null) {
						st.close();
					}
				} catch (SQLException ex) {
					System.out.println(ex.getMessage());
				}
			}
			results.add(file);
		}
	}