javadoc comments: UserManager