HotJava could not access the directory containing the
properties
file (&badness;).