A Java web crawler