A web crawler implemented in Java