Keep gdx.Set.elements as tuple, to avoid accidental modification