static GIVEN: Mutex<String>
The list last handed to Java, so that it is handed again only when it changes.