* have delete rights.
*/
public synchronized MessageAttributes getMessageAttributesUID(int uid, String user)
throws AccessControlException, AuthorizationException {
if (!hasReadRights(user)) { //throws AccessControlException
throw new AuthorizationException("Not authorized to read.");
}
System.out.println("getMessageAttributesUID()");
System.out.println("uid: "+uid);
System.out.println("user: "+user);
System.out.println("sequence.size: "+sequence.size());