A simple web crawler in standard Java