class files were forgotten

There is some funny business going on the hello world example I plugged
in.  (Like the class that is actually used it Hello, but I wasn't give
source code for it, and the HelloWorldExample class doesn't appear to
work...)