Disable the Java manufacturing again; this last set of batch
runs took care of that and I don't expect to find any more Java
errors in the near future.  I was surprised to find this one.