java: closed_world