[martin.baxter@Ireland 1997-09-05]

{ European jdk1.1.1 supplement, jdk1.1.3 Docs, jdk1.1.4, Base}

Missing file in docs/api/ called AllNames.html from the jdk1.1.3 supplement which is referred to by 5 files within the docs/api/ directory

they are

java.awt.Frame.html
java.awt.List.html
java.awt.MenuItem.html
java.awt.lang.Character.html
java.net.URLConnection.html