javadoc comments: User