////////////////////////////////////////////////////////////////////////////////
// << j711.java >>
//
//  ネットワーク(1):URLクラスによるURLのチェック
//
//  いくつかのURL(Uniform Resource Locator)を指定して、有効かどうか調べる。
//  有効でないとき例外が送出される。
//  URLは、ネットワーク上の情報資源の位置を正確に示す。
//
// ●URLクラスのコンストラクタ
//    public URL(String s) throws MalformedURLException
//      機能:URL sからURLオブジェクトを作成。
//
////////////////////////////////////////////////////////////////////////////////

import java.net.*;

class j711 {
  public static void main(String args[]) {

    try { 
      URL url1 = new URL("http://www.ibaraki.ac.jp/index.html");
      System.out.println(url1);

      URL url2 = new URL("ftp://ftp.ibaraki.ac.jp/");
      System.out.println(url2);

      URL url3 = new URL("mailto://vega.cis.ibaraki.ac.jp/");
      System.out.println(url3);

      URL url4 = new URL("xyz://sava.cis.ibaraki.ac.jp/");
      System.out.println(url4);

    } catch( MalformedURLException e ) {
      System.out.println(e); 
    } 
  }
}
実行結果
% javac j711.java
% java j711
http://www.ibaraki.ac.jp/index.html/
ftp://ftp.ibaraki.ac.jp/
mailto://vega.cis.ibaraki.ac.jp/
java.net.MalformedURLException: unknown protocol: xyz