Java implementation of OCL collections