a teensy improvement
Merge branch '2.10.x' of github.com:scala/pickling into 2.10.x