Class SyncBox

src/test/resources/pta/misc/Zipper.java:82–96

}

class SyncBox {

    Box box;

    SyncBox(Box box) {
        this.box = box;
    }

    Object get() {
        synchronized(this) {
            Box b = this.box;
            return b.get();
        }
    }
}