Yet more types.
More types for java_object.