Smile: another boundary problem with long names

(from mailing list, by D Lam)
—
I get the following exception when reading from a file saved as binary JSON using Smile. I'm able to load other smaller binary JSON files. Everything works when using the non-binary JSON.

....

Stack trace:

org.codehaus.jackson.map.JsonMappingException: 4000 (through reference chain: mycode.SerializableGraphElementSet["edges"])
at org.codehaus.jackson.map.JsonMappingException.wrapWithPath(JsonMappingException.java:218)
at org.codehaus.jackson.map.JsonMappingException.wrapWithPath(JsonMappingException.java:183)
at org.codehaus.jackson.map.deser.BeanDeserializer.wrapAndThrow(BeanDeserializer.java:1468)
at org.codehaus.jackson.map.deser.BeanDeserializer.deserializeFromObject(BeanDeserializer.java:699)
at org.codehaus.jackson.map.deser.BeanDeserializer.deserialize(BeanDeserializer.java:580)
at org.codehaus.jackson.map.ObjectMapper._readMapAndClose(ObjectMapper.java:2732)
at org.codehaus.jackson.map.ObjectMapper.readValue(ObjectMapper.java:1817)
at mycode.SerializableGraphElementSet.loadGraph(SerializableGraphElementSet.java:240)
...<snipped out other references to my code>
Caused by: java.lang.ArrayIndexOutOfBoundsException: 4000
at org.codehaus.jackson.smile.SmileParser._handleLongFieldName(SmileParser.java:1578)
at org.codehaus.jackson.smile.SmileParser._handleFieldName(SmileParser.java:1255)
at org.codehaus.jackson.smile.SmileParser.nextToken(SmileParser.java:555)
at org.codehaus.jackson.map.deser.std.MapDeserializer._readAndBind(MapDeserializer.java:304)
at org.codehaus.jackson.map.deser.std.MapDeserializer.deserialize(MapDeserializer.java:249)
at org.codehaus.jackson.map.deser.std.MapDeserializer.deserialize(MapDeserializer.java:33)
at org.codehaus.jackson.map.deser.SettableBeanProperty.deserialize(SettableBeanProperty.java:299)
at org.codehaus.jackson.map.deser.SettableBeanProperty$FieldProperty.deserializeAndSet(SettableBeanProperty.java:579)
at org.codehaus.jackson.map.deser.BeanDeserializer.deserializeFromObject(BeanDeserializer.java:697)
... 9 more