It turns out that Navigator's implementation of Java will not execute
an applet from an HTML page that is accessed with a type specifier
other than ghttp:".
Since HTML files on one's local disk are typically accessed with
the "file:" type specifier, applets will not execute.
The solution was to find and install an http server on my computer,
and to read the files on the local disk via a network connection to the
server.
Considering the inelegance of the solution and the obscurity of the peoblem,
I believe this story warrants repeating to anyone who is about to learn Java.
"My Java is so good, it's worth the ulcer. Is yours?" :-)
^M
----
Marc de Groot | Immersive Systems, Inc.
<[email protected]> | http://www.immersive.com
| Real VR for the net!
"Goto considered retro."