A Java library for dealing with object identifiers