A web crawler implemented by Java