5.2.1. Managing Users in PicketLink Reference Documentation is wrong.

http://docs.jboss.org/picketlink/2/latest/reference/html/sect-Managing_Users_Groups_and_Roles.html

A description of how to delete the user should be fixed.

false:
User user = BasicModel.getUser(identityManager, "jsmith");
identityManager.remove("jsmith");

true:
User user = BasicModel.getUser(identityManager, "jsmith");
identityManager.remove(user);