[1] HotJava 独自の URI で、 doc:///foo/bar.html で HotJava の documentation 中の foo/bar.html という文書を指す。