System.out.println(getName() + " found: " + result.getSize());
results[i] = query + ": found " + result.getSize() + " in " + (System.currentTimeMillis() - s0) + "ms.";
		public void run() {			try {				Collection collection =					DatabaseManager.getCollection(						properties.getProperty("uri") + path,						properties.getProperty("user"),						properties.getProperty("password"));				XPathQueryService service =					(XPathQueryService) current.getService("XPathQueryService", "1.0");				service.setProperty("pretty", "true");				service.setProperty("encoding", properties.getProperty("encoding"));				Random r = new Random(System.currentTimeMillis());				String query;				for (int i = 0; i < 10; i++) {					query = (String) queries.get(r.nextInt(queries.size()));					System.out.println(getName() + " query: " + query);					ResourceSet result = service.query(query);					System.out.println(getName() + " found: " + result.getSize());				}			} catch (XMLDBException e) {				System.err.println("ERROR: " + e.getMessage());			}			System.out.println(getName() + " finished.");		}