ported toAlloy from Kermeta to Java