HotJava could not write the new version of &badness;.