Java backend: refactored the constructors of CellCollection to compute the field hasStar inside
Java backend: continued revise the unification algorithm for cell collections; relaxed the restriction a bit