Updating: improving an example on ATS/Java interaction