Java tool to download and read RFCs