Javadoc playtoken.java