Now only one kind of String, and it's just String

Slightly simplifies PickleFormats by removing the
distinction between Scala and Java Strings.