java: minor cleanup.