using multiple constructors in Java to say which is the invariant for each object