Fixing the Javac benchmark (it tried to write to read-only storage).