- public void seal() { if(state >= SEALED) throw new IllegalStateException(); state = SEALED; }
- public void stable() { if(state >= STABLE) throw new IllegalStateException(); state = STABLE; }
+ public void seal() { if(state > SEALED) throw new IllegalStateException(); state = SEALED; }
+ public void stable() { if(state > STABLE) throw new IllegalStateException(); state = STABLE; }