A Java class to map a set of elements to indices and back, for concise and fast reference by index (think arrays of attributes)