I can't make the sync today, but I did want to ask if everyone is ok with
implementing the MapType in Java, which would add the MapVector class. Is
this something we can do now or do we want to wait until the next release
to give time for the previous rename to settle?  Thanks!

Reply via email to