static GIVEN: Mutex<String>
The wakings last handed to Java, so that they are handed again only when they change.