Update applied to Pickle.java