Java command-line utility for batch URL checking for Heartbleed vulnerability