// see if the file was specified as a URL
if (config_file_input_stream == null) {
try {
URL config_file = new URL(file_name);
config_file_input_stream = config_file.openStream();
} catch (Exception e) {
// isn't really an error - this just isn't a URL
}
}