code: public static Program parse(URL url) throws IOException {
      InputStream in = url.openStream();
      try {
        return TerminalParser.parse(
            program(), new InputStreamReader(in, Charset.forName("UTF-8")), url.toString());
      } finally {
        in.close();
      }
    }
docs: Parses source code read from {@code url}.