A robots.txt parser in java