javadoc comments: UserSet