//# 6 errors, 1,838 messages
//#
/*
    //#User.java:1:1: class: org.apache.roller.weblogger.pojos.User
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getId()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setId(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getUserName()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setUserName(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getPassword()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setPassword(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getScreenName()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setScreenName(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getFullName()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setFullName(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getEmailAddress()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setEmailAddress(String)
    //#User.java:1:1: method: Date org.apache.roller.weblogger.pojos.User.getDateCreated()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setDateCreated(Date)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getLocale()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setLocale(String)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getTimeZone()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setTimeZone(String)
    //#User.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.User.getEnabled()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setEnabled(Boolean)
    //#User.java:1:1: method: String org.apache.roller.weblogger.pojos.User.getActivationCode()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setActivationCode(String)
    //#User.java:1:1: method: List org.apache.roller.weblogger.pojos.User.getPermissions()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setPermissions(List)
    //#User.java:1:1: method: Set org.apache.roller.weblogger.pojos.User.getRoles()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.setRoles(Set)
    //#User.java:1:1: method: int org.apache.roller.weblogger.pojos.User.pcGetEnhancementContractVersion()
    //#User.java:1:1: method: org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User__static_init
    //#User.java:1:1: method: Class org.apache.roller.weblogger.pojos.User.class$(String)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcClearFields()
    //#User.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.User.pcNewInstance(StateManager, Object, bool)
    //#User.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.User.pcNewInstance(StateManager, bool)
    //#User.java:1:1: method: int org.apache.roller.weblogger.pojos.User.pcGetManagedFieldCount()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcReplaceField(int)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcReplaceFields(int[])
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcProvideField(int)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcProvideFields(int[])
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyField(User, int)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyFields(Object, int[])
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcGetGenericContext()
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcFetchObjectId()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcIsDeleted()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcIsDirty()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcIsNew()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcIsPersistent()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcIsTransactional()
    //#User.java:1:1: method: bool org.apache.roller.weblogger.pojos.User.pcSerializing()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcDirty(String)
    //#User.java:1:1: method: StateManager org.apache.roller.weblogger.pojos.User.pcGetStateManager()
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcGetVersion()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcReplaceStateManager(StateManager)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsToObjectId(Object)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsFromObjectId(Object)
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcNewObjectIdInstance(Object)
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcNewObjectIdInstance()
    //#User.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.User.pcIsDetached()
    //#User.java:1:1: method: Object org.apache.roller.weblogger.pojos.User.pcGetDetachedState()
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.pcSetDetachedState(Object)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.writeObject(ObjectOutputStream)
    //#User.java:1:1: method: void org.apache.roller.weblogger.pojos.User.readObject(ObjectInputStream)
 * Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.pojos;

import java.io.Serializable;
import java.util.ArrayList;
import java.util.Date;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import org.apache.commons.lang.builder.EqualsBuilder;
import org.apache.commons.lang.builder.HashCodeBuilder;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.config.WebloggerConfig;
import org.apache.roller.weblogger.business.Weblogger;
import org.apache.roller.util.UUIDGenerator;
import org.apache.roller.weblogger.util.Utilities;


/**
 * User bean.
 *
 * @hibernate.cache usage="read-write"
 * @hibernate.class lazy="true" table="rolleruser"
 */
public class User implements Serializable {
    
    public static final long serialVersionUID = -6354583200913127874L;
    
    private String  id = UUIDGenerator.generateUUID();
    //#User.java:47: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void org.apache.roller.weblogger.pojos.User()
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#User.java:47: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    private String  userName;
    private String  password;
    private String  screenName;
    private String  fullName;
    private String  emailAddress;
    private Date    dateCreated;
    private String  locale;
    private String  timeZone;
    private Boolean enabled = Boolean.TRUE;
    private String  activationCode;
    
    private Set roles = new HashSet();
    private List permissions = new ArrayList();
    
    
    public User() {
    //#User.java:63: method: void org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User()
    //#input(void org.apache.roller.weblogger.pojos.User()): java.lang.Boolean.TRUE
    //#input(void org.apache.roller.weblogger.pojos.User()): this
    //#output(void org.apache.roller.weblogger.pojos.User()): new ArrayList(User#2) num objects
    //#output(void org.apache.roller.weblogger.pojos.User()): new HashSet(User#1) num objects
    //#output(void org.apache.roller.weblogger.pojos.User()): this.enabled
    //#output(void org.apache.roller.weblogger.pojos.User()): this.id
    //#output(void org.apache.roller.weblogger.pojos.User()): this.permissions
    //#output(void org.apache.roller.weblogger.pojos.User()): this.roles
    //#new obj(void org.apache.roller.weblogger.pojos.User()): new ArrayList(User#2)
    //#new obj(void org.apache.roller.weblogger.pojos.User()): new HashSet(User#1)
    //#presumption(void org.apache.roller.weblogger.pojos.User()): init'ed(java.lang.Boolean.TRUE)
    //#post(void org.apache.roller.weblogger.pojos.User()): this.enabled == java.lang.Boolean.TRUE
    //#post(void org.apache.roller.weblogger.pojos.User()): (soft) init'ed(this.enabled)
    //#post(void org.apache.roller.weblogger.pojos.User()): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.User()): this.permissions == &new ArrayList(User#2)
    //#post(void org.apache.roller.weblogger.pojos.User()): this.roles == &new HashSet(User#1)
    //#post(void org.apache.roller.weblogger.pojos.User()): new ArrayList(User#2) num objects == 1
    //#post(void org.apache.roller.weblogger.pojos.User()): new HashSet(User#1) num objects == 1
    }
    //#User.java:64: end of method: void org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User()
    
    public User( String id, String userName,
            String password, String fullName,
            String emailAddress,
            String locale, String timeZone,
            Date dateCreated,
            Boolean isEnabled) {
    //#User.java:71: method: void org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): dateCreated
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): emailAddress
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): fullName
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): isEnabled
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): java.lang.Boolean.TRUE
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): locale
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): password
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): timeZone
    //#input(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): userName
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new ArrayList(User#2) num objects
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new HashSet(User#1) num objects
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.dateCreated
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.emailAddress
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.enabled
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.fullName
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.id
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.locale
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.password
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.permissions
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.roles
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.timeZone
    //#output(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.userName
    //#new obj(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new ArrayList(User#2)
    //#new obj(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new HashSet(User#1)
    //#pre[1] (void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): dateCreated != null
    //#presumption(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(java.lang.Boolean.TRUE)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.dateCreated != null
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.emailAddress == emailAddress
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.emailAddress)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.enabled == isEnabled
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.enabled)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.fullName == fullName
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.fullName)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.locale == locale
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.locale)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.password == password
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.password)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.permissions == &new ArrayList(User#2)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.roles == &new HashSet(User#1)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.timeZone == timeZone
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.timeZone)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): this.userName == userName
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): init'ed(this.userName)
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new ArrayList(User#2) num objects == 1
    //#post(void org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)): new HashSet(User#1) num objects == 1
        //this.id = id;
        this.userName = userName;
        this.password = password;
        this.fullName = fullName;
        this.emailAddress = emailAddress;
        this.dateCreated = (Date)dateCreated.clone();
        this.locale = locale;
        this.timeZone = timeZone;
        this.enabled = isEnabled;
    }
    //#User.java:81: end of method: void org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User(String, String, String, String, String, String, String, Date, Boolean)
    
    
    /**
     * Id of the User.
     *
     * @hibernate.id column="id" generator-class="assigned"
     */
    public String getId() {
        return this.id;
    //#User.java:90: method: String org.apache.roller.weblogger.pojos.User.pcgetId()
    //#input(String pcgetId()): this
    //#input(String pcgetId()): this.id
    //#output(String pcgetId()): return_value
    //#pre[2] (String pcgetId()): init'ed(this.id)
    //#post(String pcgetId()): return_value == this.id
    //#post(String pcgetId()): init'ed(return_value)
    //#User.java:90: end of method: String org.apache.roller.weblogger.pojos.User.pcgetId()
    }
    
    public void setId( String id ) {
        this.id = id;
    //#User.java:94: method: void org.apache.roller.weblogger.pojos.User.pcsetId(String)
    //#input(void pcsetId(String)): Param_1
    //#input(void pcsetId(String)): this
    //#output(void pcsetId(String)): this.id
    //#post(void pcsetId(String)): this.id == Param_1
    //#post(void pcsetId(String)): init'ed(this.id)
    }
    //#User.java:95: end of method: void org.apache.roller.weblogger.pojos.User.pcsetId(String)
    
    
    /**
     * User name of the user.
     * @hibernate.property column="username" non-null="true" unique="true"
     */
    public String getUserName() {
        return this.userName;
    //#User.java:103: method: String org.apache.roller.weblogger.pojos.User.pcgetUserName()
    //#input(String pcgetUserName()): this
    //#input(String pcgetUserName()): this.userName
    //#output(String pcgetUserName()): return_value
    //#pre[2] (String pcgetUserName()): init'ed(this.userName)
    //#post(String pcgetUserName()): return_value == this.userName
    //#post(String pcgetUserName()): init'ed(return_value)
    //#User.java:103: end of method: String org.apache.roller.weblogger.pojos.User.pcgetUserName()
    }
    
    public void setUserName( String userName ) {
        this.userName = userName;
    //#User.java:107: method: void org.apache.roller.weblogger.pojos.User.pcsetUserName(String)
    //#input(void pcsetUserName(String)): Param_1
    //#input(void pcsetUserName(String)): this
    //#output(void pcsetUserName(String)): this.userName
    //#post(void pcsetUserName(String)): this.userName == Param_1
    //#post(void pcsetUserName(String)): init'ed(this.userName)
    }
    //#User.java:108: end of method: void org.apache.roller.weblogger.pojos.User.pcsetUserName(String)
    
    /**
     * Get password.
     * If password encryption is enabled, will return encrypted password.
     *
     * @hibernate.property column="passphrase" non-null="true"
     */
    public String getPassword() {
        return this.password;
    //#User.java:117: method: String org.apache.roller.weblogger.pojos.User.pcgetPassword()
    //#input(String pcgetPassword()): this
    //#input(String pcgetPassword()): this.password
    //#output(String pcgetPassword()): return_value
    //#pre[2] (String pcgetPassword()): init'ed(this.password)
    //#post(String pcgetPassword()): return_value == this.password
    //#post(String pcgetPassword()): init'ed(return_value)
    //#User.java:117: end of method: String org.apache.roller.weblogger.pojos.User.pcgetPassword()
    }
    
    /**
     * Set password.
     * If password encryption is turned on, then pass in an encrypted password.
     */
    public void setPassword( String password ) {
        this.password = password;
    //#User.java:125: method: void org.apache.roller.weblogger.pojos.User.pcsetPassword(String)
    //#input(void pcsetPassword(String)): Param_1
    //#input(void pcsetPassword(String)): this
    //#output(void pcsetPassword(String)): this.password
    //#post(void pcsetPassword(String)): this.password == Param_1
    //#post(void pcsetPassword(String)): init'ed(this.password)
    }
    //#User.java:126: end of method: void org.apache.roller.weblogger.pojos.User.pcsetPassword(String)
    
    /**
     * Reset this user's password, handles encryption if configured.
     *
     * @param newPassword The new password to be set.
     */
    public void resetPassword(String newPassword) throws WebloggerException {
        
        String encrypt = WebloggerConfig.getProperty("passwds.encryption.enabled");
    //#User.java:135: method: void org.apache.roller.weblogger.pojos.User.resetPassword(String)
    //#User.java:135: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void resetPassword(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#input(void resetPassword(String)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void resetPassword(String)): __Descendant_Table[others]
    //#input(void resetPassword(String)): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#input(void resetPassword(String)): newPassword
    //#input(void resetPassword(String)): pcInheritedFieldCount
    //#input(void resetPassword(String)): this
    //#input(void resetPassword(String)): this.__Tag
    //#input(void resetPassword(String)): this.password
    //#input(void resetPassword(String)): this.pcStateManager
    //#output(void resetPassword(String)): this.password
    //#pre[5] (void resetPassword(String)): this.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[6] (void resetPassword(String)): init'ed(this.pcStateManager)
    //#pre[2] (void resetPassword(String)): (soft) init'ed(this.password)
    //#pre[3] (void resetPassword(String)): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(void resetPassword(String)): init'ed(this.password)
    //#unanalyzed(void resetPassword(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingStringField
    //#test_vector(void resetPassword(String)): java.lang.Boolean:booleanValue(...)@137: {0}, {1}
        String algorithm = WebloggerConfig.getProperty("passwds.encryption.algorithm");
    //#User.java:136: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void resetPassword(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
        if (new Boolean(encrypt).booleanValue()) {
            setPassword(Utilities.encodePassword(newPassword, algorithm));
    //#User.java:138: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.util.Utilities:encodePassword(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void resetPassword(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.util.Utilities:encodePassword(String, String)
        } else {
            setPassword(newPassword);
        }
    }
    //#User.java:142: end of method: void org.apache.roller.weblogger.pojos.User.resetPassword(String)
    
    
    /**
     * Screen name of the user.
     *
     * @hibernate.property column="screenname" non-null="true" unique="true"
     */
    public String getScreenName() {
        return this.screenName;
    //#User.java:151: method: String org.apache.roller.weblogger.pojos.User.pcgetScreenName()
    //#input(String pcgetScreenName()): this
    //#input(String pcgetScreenName()): this.screenName
    //#output(String pcgetScreenName()): return_value
    //#pre[2] (String pcgetScreenName()): init'ed(this.screenName)
    //#post(String pcgetScreenName()): return_value == this.screenName
    //#post(String pcgetScreenName()): init'ed(return_value)
    //#User.java:151: end of method: String org.apache.roller.weblogger.pojos.User.pcgetScreenName()
    }
    
    public void setScreenName( String screenName ) {
        this.screenName = screenName;
    //#User.java:155: method: void org.apache.roller.weblogger.pojos.User.pcsetScreenName(String)
    //#input(void pcsetScreenName(String)): Param_1
    //#input(void pcsetScreenName(String)): this
    //#output(void pcsetScreenName(String)): this.screenName
    //#post(void pcsetScreenName(String)): this.screenName == Param_1
    //#post(void pcsetScreenName(String)): init'ed(this.screenName)
    }
    //#User.java:156: end of method: void org.apache.roller.weblogger.pojos.User.pcsetScreenName(String)
    
    
    /**
     * Full name of the user.
     *
     * @hibernate.property column="fullname" non-null="true" unique="true"
     */
    public String getFullName() {
        return this.fullName;
    //#User.java:165: method: String org.apache.roller.weblogger.pojos.User.pcgetFullName()
    //#input(String pcgetFullName()): this
    //#input(String pcgetFullName()): this.fullName
    //#output(String pcgetFullName()): return_value
    //#pre[2] (String pcgetFullName()): init'ed(this.fullName)
    //#post(String pcgetFullName()): return_value == this.fullName
    //#post(String pcgetFullName()): init'ed(return_value)
    //#User.java:165: end of method: String org.apache.roller.weblogger.pojos.User.pcgetFullName()
    }
    
    public void setFullName( String fullName ) {
        this.fullName = fullName;
    //#User.java:169: method: void org.apache.roller.weblogger.pojos.User.pcsetFullName(String)
    //#input(void pcsetFullName(String)): Param_1
    //#input(void pcsetFullName(String)): this
    //#output(void pcsetFullName(String)): this.fullName
    //#post(void pcsetFullName(String)): this.fullName == Param_1
    //#post(void pcsetFullName(String)): init'ed(this.fullName)
    }
    //#User.java:170: end of method: void org.apache.roller.weblogger.pojos.User.pcsetFullName(String)
    
    
    /**
     * E-mail address of the user.
     *
     * @hibernate.property column="emailaddress" non-null="true" unique="true"
     */
    public String getEmailAddress() {
        return this.emailAddress;
    //#User.java:179: method: String org.apache.roller.weblogger.pojos.User.pcgetEmailAddress()
    //#input(String pcgetEmailAddress()): this
    //#input(String pcgetEmailAddress()): this.emailAddress
    //#output(String pcgetEmailAddress()): return_value
    //#pre[2] (String pcgetEmailAddress()): init'ed(this.emailAddress)
    //#post(String pcgetEmailAddress()): return_value == this.emailAddress
    //#post(String pcgetEmailAddress()): init'ed(return_value)
    //#User.java:179: end of method: String org.apache.roller.weblogger.pojos.User.pcgetEmailAddress()
    }
    
    public void setEmailAddress( String emailAddress ) {
        this.emailAddress = emailAddress;
    //#User.java:183: method: void org.apache.roller.weblogger.pojos.User.pcsetEmailAddress(String)
    //#input(void pcsetEmailAddress(String)): Param_1
    //#input(void pcsetEmailAddress(String)): this
    //#output(void pcsetEmailAddress(String)): this.emailAddress
    //#post(void pcsetEmailAddress(String)): this.emailAddress == Param_1
    //#post(void pcsetEmailAddress(String)): init'ed(this.emailAddress)
    }
    //#User.java:184: end of method: void org.apache.roller.weblogger.pojos.User.pcsetEmailAddress(String)
    
    
    /**
     * The date the user was created.
     *
     * @hibernate.property column="datecreated" non-null="true" unique="false"
     */
    public Date getDateCreated() {
        if (dateCreated == null) {
    //#User.java:193: method: Date org.apache.roller.weblogger.pojos.User.pcgetDateCreated()
    //#input(Date pcgetDateCreated()): this
    //#input(Date pcgetDateCreated()): this.dateCreated
    //#output(Date pcgetDateCreated()): return_value
    //#pre[2] (Date pcgetDateCreated()): init'ed(this.dateCreated)
    //#post(Date pcgetDateCreated()): init'ed(return_value)
    //#test_vector(Date pcgetDateCreated()): this.dateCreated: Inverse{null}, Addr_Set{null}
            return null;
        } else {
            return (Date)dateCreated.clone();
    //#User.java:196: end of method: Date org.apache.roller.weblogger.pojos.User.pcgetDateCreated()
        }
    }
    
    public void setDateCreated(final Date date) {
        if (date != null) {
    //#User.java:201: method: void org.apache.roller.weblogger.pojos.User.pcsetDateCreated(Date)
    //#input(void pcsetDateCreated(Date)): Param_1
    //#input(void pcsetDateCreated(Date)): this
    //#output(void pcsetDateCreated(Date)): this.dateCreated
    //#post(void pcsetDateCreated(Date)): init'ed(this.dateCreated)
    //#test_vector(void pcsetDateCreated(Date)): Param_1: Addr_Set{null}, Inverse{null}
            dateCreated = (Date)date.clone();
        } else {
            dateCreated = null;
        }
    }
    //#User.java:206: end of method: void org.apache.roller.weblogger.pojos.User.pcsetDateCreated(Date)
    
    
    /**
     * Locale of the user.
     *
     * @hibernate.property column="locale" non-null="true" unique="false"
     */
    public String getLocale() {
        return this.locale;
    //#User.java:215: method: String org.apache.roller.weblogger.pojos.User.pcgetLocale()
    //#input(String pcgetLocale()): this
    //#input(String pcgetLocale()): this.locale
    //#output(String pcgetLocale()): return_value
    //#pre[2] (String pcgetLocale()): init'ed(this.locale)
    //#post(String pcgetLocale()): return_value == this.locale
    //#post(String pcgetLocale()): init'ed(return_value)
    //#User.java:215: end of method: String org.apache.roller.weblogger.pojos.User.pcgetLocale()
    }
    
    public void setLocale(String locale) {
        this.locale = locale;
    //#User.java:219: method: void org.apache.roller.weblogger.pojos.User.pcsetLocale(String)
    //#input(void pcsetLocale(String)): Param_1
    //#input(void pcsetLocale(String)): this
    //#output(void pcsetLocale(String)): this.locale
    //#post(void pcsetLocale(String)): this.locale == Param_1
    //#post(void pcsetLocale(String)): init'ed(this.locale)
    }
    //#User.java:220: end of method: void org.apache.roller.weblogger.pojos.User.pcsetLocale(String)
    
    
    /**
     * Timezone of the user.
     *
     * @hibernate.property column="timeZone" non-null="true" unique="false"
     */
    public String getTimeZone() {
        return this.timeZone;
    //#User.java:229: method: String org.apache.roller.weblogger.pojos.User.pcgetTimeZone()
    //#input(String pcgetTimeZone()): this
    //#input(String pcgetTimeZone()): this.timeZone
    //#output(String pcgetTimeZone()): return_value
    //#pre[2] (String pcgetTimeZone()): init'ed(this.timeZone)
    //#post(String pcgetTimeZone()): return_value == this.timeZone
    //#post(String pcgetTimeZone()): init'ed(return_value)
    //#User.java:229: end of method: String org.apache.roller.weblogger.pojos.User.pcgetTimeZone()
    }
    
    public void setTimeZone(String timeZone) {
        this.timeZone = timeZone;
    //#User.java:233: method: void org.apache.roller.weblogger.pojos.User.pcsetTimeZone(String)
    //#input(void pcsetTimeZone(String)): Param_1
    //#input(void pcsetTimeZone(String)): this
    //#output(void pcsetTimeZone(String)): this.timeZone
    //#post(void pcsetTimeZone(String)): this.timeZone == Param_1
    //#post(void pcsetTimeZone(String)): init'ed(this.timeZone)
    }
    //#User.java:234: end of method: void org.apache.roller.weblogger.pojos.User.pcsetTimeZone(String)
    
    
    /**
     * Is this user account enabled?  Disabled accounts cannot login.
     *
     * @hibernate.property column="isenabled" non-null="true" unique="false"
     */
    public Boolean getEnabled() {
        return this.enabled;
    //#User.java:243: method: Boolean org.apache.roller.weblogger.pojos.User.pcgetEnabled()
    //#input(Boolean pcgetEnabled()): this
    //#input(Boolean pcgetEnabled()): this.enabled
    //#output(Boolean pcgetEnabled()): return_value
    //#pre[2] (Boolean pcgetEnabled()): init'ed(this.enabled)
    //#post(Boolean pcgetEnabled()): return_value == this.enabled
    //#post(Boolean pcgetEnabled()): init'ed(return_value)
    //#User.java:243: end of method: Boolean org.apache.roller.weblogger.pojos.User.pcgetEnabled()
    }
    
    public void setEnabled(Boolean enabled) {
        this.enabled = enabled;
    //#User.java:247: method: void org.apache.roller.weblogger.pojos.User.pcsetEnabled(Boolean)
    //#input(void pcsetEnabled(Boolean)): Param_1
    //#input(void pcsetEnabled(Boolean)): this
    //#output(void pcsetEnabled(Boolean)): this.enabled
    //#post(void pcsetEnabled(Boolean)): this.enabled == Param_1
    //#post(void pcsetEnabled(Boolean)): init'ed(this.enabled)
    }
    //#User.java:248: end of method: void org.apache.roller.weblogger.pojos.User.pcsetEnabled(Boolean)
    
    
    /** 
     * Activation code.
     *
     * @hibernate.property column="activationcode" non-null="false"
     */
    public String getActivationCode() {
        return activationCode;
    //#User.java:257: method: String org.apache.roller.weblogger.pojos.User.pcgetActivationCode()
    //#input(String pcgetActivationCode()): this
    //#input(String pcgetActivationCode()): this.activationCode
    //#output(String pcgetActivationCode()): return_value
    //#pre[2] (String pcgetActivationCode()): init'ed(this.activationCode)
    //#post(String pcgetActivationCode()): return_value == this.activationCode
    //#post(String pcgetActivationCode()): init'ed(return_value)
    //#User.java:257: end of method: String org.apache.roller.weblogger.pojos.User.pcgetActivationCode()
    }
    
    public void setActivationCode(String activationCode) {
        this.activationCode = activationCode;
    //#User.java:261: method: void org.apache.roller.weblogger.pojos.User.pcsetActivationCode(String)
    //#input(void pcsetActivationCode(String)): Param_1
    //#input(void pcsetActivationCode(String)): this
    //#output(void pcsetActivationCode(String)): this.activationCode
    //#post(void pcsetActivationCode(String)): this.activationCode == Param_1
    //#post(void pcsetActivationCode(String)): init'ed(this.activationCode)
    }
    //#User.java:262: end of method: void org.apache.roller.weblogger.pojos.User.pcsetActivationCode(String)
    
    
    /**
     * List of weblog permissions for this user.
     *
     * @hibernate.bag lazy="true" inverse="true" cascade="none"
     * @hibernate.collection-key column="user_id"
     * @hibernate.collection-one-to-many
     *    class="org.apache.roller.weblogger.pojos.WeblogPermission"
     */
    public List getPermissions() {
        return permissions;
    //#User.java:274: method: List org.apache.roller.weblogger.pojos.User.pcgetPermissions()
    //#input(List pcgetPermissions()): this
    //#input(List pcgetPermissions()): this.permissions
    //#output(List pcgetPermissions()): return_value
    //#pre[2] (List pcgetPermissions()): init'ed(this.permissions)
    //#post(List pcgetPermissions()): return_value == this.permissions
    //#post(List pcgetPermissions()): init'ed(return_value)
    //#User.java:274: end of method: List org.apache.roller.weblogger.pojos.User.pcgetPermissions()
    }
    
    public void setPermissions(List perms) {
        permissions = perms;
    //#User.java:278: method: void org.apache.roller.weblogger.pojos.User.pcsetPermissions(List)
    //#input(void pcsetPermissions(List)): Param_1
    //#input(void pcsetPermissions(List)): this
    //#output(void pcsetPermissions(List)): this.permissions
    //#post(void pcsetPermissions(List)): this.permissions == Param_1
    //#post(void pcsetPermissions(List)): init'ed(this.permissions)
    }
    //#User.java:279: end of method: void org.apache.roller.weblogger.pojos.User.pcsetPermissions(List)
    
    
    /**
     * The set of roles for this user.
     *
     * @hibernate.set lazy="true" inverse="true" cascade="all"
     * @hibernate.collection-key column="userid"
     * @hibernate.collection-one-to-many class="org.apache.roller.weblogger.pojos.UserRole"
     */
    public Set getRoles() {
        return roles;
    //#User.java:290: method: Set org.apache.roller.weblogger.pojos.User.pcgetRoles()
    //#input(Set pcgetRoles()): this
    //#input(Set pcgetRoles()): this.roles
    //#output(Set pcgetRoles()): return_value
    //#pre[2] (Set pcgetRoles()): init'ed(this.roles)
    //#post(Set pcgetRoles()): return_value == this.roles
    //#post(Set pcgetRoles()): init'ed(return_value)
    //#User.java:290: end of method: Set org.apache.roller.weblogger.pojos.User.pcgetRoles()
    }
    
    /**
     * this is private to force the use of grant/revokeRole() methods.
     */
    private void setRoles(Set roles) {
        this.roles = roles;
    //#User.java:297: method: void org.apache.roller.weblogger.pojos.User.pcsetRoles(Set)
    //#input(void pcsetRoles(Set)): Param_1
    //#input(void pcsetRoles(Set)): this
    //#output(void pcsetRoles(Set)): this.roles
    //#post(void pcsetRoles(Set)): this.roles == Param_1
    //#post(void pcsetRoles(Set)): init'ed(this.roles)
    }
    //#User.java:298: end of method: void org.apache.roller.weblogger.pojos.User.pcsetRoles(Set)
    
    
    /**
     * Returns true if user has role specified.
     */
    public boolean hasRole(String roleName) {
        Iterator iter = getRoles().iterator();
    //#User.java:305: method: bool org.apache.roller.weblogger.pojos.User.hasRole(String)
    //#input(bool hasRole(String)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(bool hasRole(String)): __Descendant_Table[others]
    //#input(bool hasRole(String)): __Dispatch_Table.getRoles()Ljava/util/Set;
    //#input(bool hasRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Descendant_Table[org/apache/roller/weblogger/pojos/UserRole]
    //#input(bool hasRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Descendant_Table[others]
    //#input(bool hasRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Dispatch_Table.getRole()Ljava/lang/String;
    //#input(bool hasRole(String)): org/apache/roller/weblogger/pojos/UserRole.pcInheritedFieldCount
    //#input(bool hasRole(String)): pcInheritedFieldCount
    //#input(bool hasRole(String)): roleName
    //#input(bool hasRole(String)): this
    //#input(bool hasRole(String)): this.__Tag
    //#input(bool hasRole(String)): this.pcStateManager
    //#input(bool hasRole(String)): this.roles
    //#output(bool hasRole(String)): return_value
    //#pre[5] (bool hasRole(String)): this.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[6] (bool hasRole(String)): init'ed(this.pcStateManager)
    //#pre[7] (bool hasRole(String)): this.roles != null
    //#pre[1] (bool hasRole(String)): (soft) org/apache/roller/weblogger/pojos/UserRole.pcInheritedFieldCount <= 4_294_967_294
    //#pre[2] (bool hasRole(String)): (soft) pcInheritedFieldCount <= 4_294_967_286
    //#presumption(bool hasRole(String)): java.util.Iterator:next(...).__Tag@307 == org/apache/roller/weblogger/pojos/UserRole
    //#presumption(bool hasRole(String)): java.util.Iterator:next(...)@307 != null
    //#presumption(bool hasRole(String)): role.role@307 != null
    //#post(bool hasRole(String)): init'ed(return_value)
    //#unanalyzed(bool hasRole(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(bool hasRole(String)): java.lang.String:equals(...)@308: {0}, {1}
    //#test_vector(bool hasRole(String)): java.util.Iterator:hasNext(...)@306: {0}, {1}
        while (iter.hasNext()) {
            UserRole role = (UserRole) iter.next();
            if (role.getRole().equals(roleName)) {
                return true;
            }
        }
        return false;
    //#User.java:312: end of method: bool org.apache.roller.weblogger.pojos.User.hasRole(String)
    }
    
    /**
     * Grant to user role specified by role name.
     */
    public void grantRole(String roleName) throws WebloggerException {
        if (!hasRole(roleName)) {
    //#User.java:319: method: void org.apache.roller.weblogger.pojos.User.grantRole(String)
    //#input(void grantRole(String)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void grantRole(String)): __Descendant_Table[others]
    //#input(void grantRole(String)): __Dispatch_Table.getRoles()Ljava/util/Set;
    //#input(void grantRole(String)): __Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void grantRole(String)): __Dispatch_Table.hasRole(Ljava/lang/String;)Z
    //#input(void grantRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Descendant_Table[org/apache/roller/weblogger/pojos/UserRole]
    //#input(void grantRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Descendant_Table[others]
    //#input(void grantRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Dispatch_Table.getRole()Ljava/lang/String;
    //#input(void grantRole(String)): org/apache/roller/weblogger/pojos/UserRole.__Dispatch_Table.setUser(Lorg/apache/roller/weblogger/pojos/User;)V
    //#input(void grantRole(String)): org/apache/roller/weblogger/pojos/UserRole.pcInheritedFieldCount
    //#input(void grantRole(String)): pcInheritedFieldCount
    //#input(void grantRole(String)): roleName
    //#input(void grantRole(String)): this
    //#input(void grantRole(String)): this.__Tag
    //#input(void grantRole(String)): this.pcStateManager
    //#input(void grantRole(String)): this.roles
    //#input(void grantRole(String)): this.userName
    //#pre[5] (void grantRole(String)): this.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[1] (void grantRole(String)): (soft) org/apache/roller/weblogger/pojos/UserRole.pcInheritedFieldCount <= 4_294_967_293
    //#pre[2] (void grantRole(String)): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#pre[6] (void grantRole(String)): (soft) init'ed(this.pcStateManager)
    //#pre[7] (void grantRole(String)): (soft) this.roles != null
    //#pre[8] (void grantRole(String)): (soft) init'ed(this.userName)
    //#unanalyzed(void grantRole(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(void grantRole(String)): Effects-of-calling:getUserName
    //#unanalyzed(void grantRole(String)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(void grantRole(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingObjectField
    //#unanalyzed(void grantRole(String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void grantRole(String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void grantRole(String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void grantRole(String)): Effects-of-calling:java.lang.String:equals
            UserRole role = new UserRole(null, this, roleName);
            getRoles().add(role);
            role.setUser(this);
        }
    }
    //#User.java:324: end of method: void org.apache.roller.weblogger.pojos.User.grantRole(String)
    
    
    
    //------------------------------------------------------- Good citizenship
    
    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#User.java:331: method: String org.apache.roller.weblogger.pojos.User.toString()
    //#input(String toString()): ", "._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): "}"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.dateCreated
    //#input(String toString()): this.dateCreated._tainted
    //#input(String toString()): this.emailAddress
    //#input(String toString()): this.emailAddress._tainted
    //#input(String toString()): this.enabled
    //#input(String toString()): this.enabled._tainted
    //#input(String toString()): this.fullName
    //#input(String toString()): this.fullName._tainted
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.userName
    //#input(String toString()): this.userName._tainted
    //#output(String toString()): java.lang.StringBuffer:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuffer:toString(...)
    //#pre[2] (String toString()): init'ed(this.dateCreated)
    //#pre[5] (String toString()): init'ed(this.emailAddress)
    //#pre[8] (String toString()): init'ed(this.enabled)
    //#pre[10] (String toString()): init'ed(this.fullName)
    //#pre[13] (String toString()): init'ed(this.id)
    //#pre[16] (String toString()): init'ed(this.userName)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.emailAddress._tainted | this.fullName._tainted | this.id._tainted | this.userName._tainted
    //#post(String toString()): init'ed(java.lang.StringBuffer:toString(...)._tainted)
    //#post(String toString()): return_value == &java.lang.StringBuffer:toString(...)
        buf.append("{");
        buf.append(this.id);
        buf.append(", ").append(this.userName);
        buf.append(", ").append(this.fullName);
        buf.append(", ").append(this.emailAddress);
        buf.append(", ").append(this.dateCreated);
        buf.append(", ").append(this.enabled);
        buf.append("}");
        return buf.toString();
    //#User.java:340: end of method: String org.apache.roller.weblogger.pojos.User.toString()
    }
    
    public boolean equals(Object other) {
        if (other == this) return true;
    //#User.java:344: method: bool org.apache.roller.weblogger.pojos.User.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(bool equals(Object)): other
    //#input(bool equals(Object)): other.__Tag
    //#input(bool equals(Object)): other.pcStateManager
    //#input(bool equals(Object)): other.userName
    //#input(bool equals(Object)): pcInheritedFieldCount
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.__Tag
    //#input(bool equals(Object)): this.pcStateManager
    //#input(bool equals(Object)): this.userName
    //#output(bool equals(Object)): return_value
    //#pre[6] (bool equals(Object)): (soft) init'ed(other.pcStateManager)
    //#pre[7] (bool equals(Object)): (soft) init'ed(other.userName)
    //#pre[8] (bool equals(Object)): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#pre[10] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[11] (bool equals(Object)): (soft) init'ed(this.pcStateManager)
    //#pre[12] (bool equals(Object)): (soft) init'ed(this.userName)
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@347 != null
    //#post(bool equals(Object)): init'ed(return_value)
    //#unanalyzed(bool equals(Object)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(bool equals(Object)): other == this: {0}, {1}
        if (other instanceof User != true) return false;
        User o = (User)other;
        return new EqualsBuilder().append(getUserName(), o.getUserName()).isEquals();
    //#User.java:347: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.EqualsBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool equals(Object)
    //#    unanalyzed callee: void org.apache.commons.lang.builder.EqualsBuilder()
    //#User.java:347: Warning: method not available
    //#    -- call on EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool equals(Object)
    //#    unanalyzed callee: EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#User.java:347: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#User.java:347: end of method: bool org.apache.roller.weblogger.pojos.User.equals(Object)
    }
    
    public int hashCode() {
        return new HashCodeBuilder().append(getUserName()).toHashCode();
    //#User.java:351: method: int org.apache.roller.weblogger.pojos.User.hashCode()
    //#User.java:351: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.HashCodeBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: int hashCode()
    //#    unanalyzed callee: void org.apache.commons.lang.builder.HashCodeBuilder()
    //#User.java:351: Warning: method not available
    //#    -- call on HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: int hashCode()
    //#    unanalyzed callee: HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#User.java:351: Warning: method not available
    //#    -- call on int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: int hashCode()
    //#    unanalyzed callee: int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#input(int hashCode()): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(int hashCode()): __Descendant_Table[others]
    //#input(int hashCode()): __Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(int hashCode()): pcInheritedFieldCount
    //#input(int hashCode()): this
    //#input(int hashCode()): this.__Tag
    //#input(int hashCode()): this.pcStateManager
    //#input(int hashCode()): this.userName
    //#output(int hashCode()): return_value
    //#pre[3] (int hashCode()): this.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[4] (int hashCode()): init'ed(this.pcStateManager)
    //#pre[5] (int hashCode()): init'ed(this.userName)
    //#pre[1] (int hashCode()): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@351 != null
    //#post(int hashCode()): init'ed(return_value)
    //#unanalyzed(int hashCode()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#User.java:351: end of method: int org.apache.roller.weblogger.pojos.User.hashCode()
    }
    
}
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getId()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getId()): Param_0
    //#input(String getId()): Param_0.id
    //#input(String getId()): Param_0.pcStateManager
    //#input(String getId()): pcInheritedFieldCount
    //#output(String getId()): return_value
    //#pre[2] (String getId()): init'ed(Param_0.id)
    //#pre[3] (String getId()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getId()): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(String getId()): return_value == Param_0.id
    //#post(String getId()): init'ed(return_value)
    //#test_vector(String getId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getId()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setId(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setId(String)): Param_0
    //#input(void setId(String)): Param_0.id
    //#input(void setId(String)): Param_0.pcStateManager
    //#input(void setId(String)): Param_1
    //#input(void setId(String)): pcInheritedFieldCount
    //#output(void setId(String)): Param_0.id
    //#pre[2] (void setId(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setId(String)): (soft) init'ed(Param_0.id)
    //#pre[5] (void setId(String)): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(void setId(String)): Param_0.id == One-of{Param_1, old Param_0.id}
    //#post(void setId(String)): (soft) init'ed(Param_0.id)
    //#test_vector(void setId(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setId(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getUserName()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getUserName()): Param_0
    //#input(String getUserName()): Param_0.pcStateManager
    //#input(String getUserName()): Param_0.userName
    //#input(String getUserName()): pcInheritedFieldCount
    //#output(String getUserName()): return_value
    //#pre[2] (String getUserName()): init'ed(Param_0.pcStateManager)
    //#pre[3] (String getUserName()): init'ed(Param_0.userName)
    //#pre[4] (String getUserName()): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#post(String getUserName()): return_value == Param_0.userName
    //#post(String getUserName()): init'ed(return_value)
    //#test_vector(String getUserName()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getUserName()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setUserName(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setUserName(String)): Param_0
    //#input(void setUserName(String)): Param_0.pcStateManager
    //#input(void setUserName(String)): Param_0.userName
    //#input(void setUserName(String)): Param_1
    //#input(void setUserName(String)): pcInheritedFieldCount
    //#output(void setUserName(String)): Param_0.userName
    //#pre[2] (void setUserName(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setUserName(String)): (soft) init'ed(Param_0.userName)
    //#pre[5] (void setUserName(String)): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#post(void setUserName(String)): Param_0.userName == One-of{Param_1, old Param_0.userName}
    //#post(void setUserName(String)): (soft) init'ed(Param_0.userName)
    //#test_vector(void setUserName(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setUserName(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getPassword()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getPassword()): Param_0
    //#input(String getPassword()): Param_0.password
    //#input(String getPassword()): Param_0.pcStateManager
    //#input(String getPassword()): pcInheritedFieldCount
    //#output(String getPassword()): return_value
    //#pre[2] (String getPassword()): init'ed(Param_0.password)
    //#pre[3] (String getPassword()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getPassword()): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(String getPassword()): return_value == Param_0.password
    //#post(String getPassword()): init'ed(return_value)
    //#test_vector(String getPassword()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getPassword()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setPassword(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setPassword(String)): Param_0
    //#input(void setPassword(String)): Param_0.password
    //#input(void setPassword(String)): Param_0.pcStateManager
    //#input(void setPassword(String)): Param_1
    //#input(void setPassword(String)): pcInheritedFieldCount
    //#output(void setPassword(String)): Param_0.password
    //#pre[2] (void setPassword(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setPassword(String)): (soft) init'ed(Param_0.password)
    //#pre[5] (void setPassword(String)): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(void setPassword(String)): Param_0.password == One-of{Param_1, old Param_0.password}
    //#post(void setPassword(String)): (soft) init'ed(Param_0.password)
    //#test_vector(void setPassword(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setPassword(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getScreenName()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getScreenName()): Param_0
    //#input(String getScreenName()): Param_0.pcStateManager
    //#input(String getScreenName()): Param_0.screenName
    //#input(String getScreenName()): pcInheritedFieldCount
    //#output(String getScreenName()): return_value
    //#pre[2] (String getScreenName()): init'ed(Param_0.pcStateManager)
    //#pre[3] (String getScreenName()): init'ed(Param_0.screenName)
    //#pre[4] (String getScreenName()): (soft) pcInheritedFieldCount <= 4_294_967_285
    //#post(String getScreenName()): return_value == Param_0.screenName
    //#post(String getScreenName()): init'ed(return_value)
    //#test_vector(String getScreenName()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getScreenName()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setScreenName(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setScreenName(String)): Param_0
    //#input(void setScreenName(String)): Param_0.pcStateManager
    //#input(void setScreenName(String)): Param_0.screenName
    //#input(void setScreenName(String)): Param_1
    //#input(void setScreenName(String)): pcInheritedFieldCount
    //#output(void setScreenName(String)): Param_0.screenName
    //#pre[2] (void setScreenName(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setScreenName(String)): (soft) init'ed(Param_0.screenName)
    //#pre[5] (void setScreenName(String)): (soft) pcInheritedFieldCount <= 4_294_967_285
    //#post(void setScreenName(String)): Param_0.screenName == One-of{Param_1, old Param_0.screenName}
    //#post(void setScreenName(String)): (soft) init'ed(Param_0.screenName)
    //#test_vector(void setScreenName(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setScreenName(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getFullName()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getFullName()): Param_0
    //#input(String getFullName()): Param_0.fullName
    //#input(String getFullName()): Param_0.pcStateManager
    //#input(String getFullName()): pcInheritedFieldCount
    //#output(String getFullName()): return_value
    //#pre[2] (String getFullName()): init'ed(Param_0.fullName)
    //#pre[3] (String getFullName()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getFullName()): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(String getFullName()): return_value == Param_0.fullName
    //#post(String getFullName()): init'ed(return_value)
    //#test_vector(String getFullName()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getFullName()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setFullName(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setFullName(String)): Param_0
    //#input(void setFullName(String)): Param_0.fullName
    //#input(void setFullName(String)): Param_0.pcStateManager
    //#input(void setFullName(String)): Param_1
    //#input(void setFullName(String)): pcInheritedFieldCount
    //#output(void setFullName(String)): Param_0.fullName
    //#pre[2] (void setFullName(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setFullName(String)): (soft) init'ed(Param_0.fullName)
    //#pre[5] (void setFullName(String)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(void setFullName(String)): Param_0.fullName == One-of{Param_1, old Param_0.fullName}
    //#post(void setFullName(String)): (soft) init'ed(Param_0.fullName)
    //#test_vector(void setFullName(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setFullName(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getEmailAddress()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getEmailAddress()): Param_0
    //#input(String getEmailAddress()): Param_0.emailAddress
    //#input(String getEmailAddress()): Param_0.pcStateManager
    //#input(String getEmailAddress()): pcInheritedFieldCount
    //#output(String getEmailAddress()): return_value
    //#pre[2] (String getEmailAddress()): init'ed(Param_0.emailAddress)
    //#pre[3] (String getEmailAddress()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getEmailAddress()): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(String getEmailAddress()): return_value == Param_0.emailAddress
    //#post(String getEmailAddress()): init'ed(return_value)
    //#test_vector(String getEmailAddress()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getEmailAddress()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setEmailAddress(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setEmailAddress(String)): Param_0
    //#input(void setEmailAddress(String)): Param_0.emailAddress
    //#input(void setEmailAddress(String)): Param_0.pcStateManager
    //#input(void setEmailAddress(String)): Param_1
    //#input(void setEmailAddress(String)): pcInheritedFieldCount
    //#output(void setEmailAddress(String)): Param_0.emailAddress
    //#pre[2] (void setEmailAddress(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setEmailAddress(String)): (soft) init'ed(Param_0.emailAddress)
    //#pre[5] (void setEmailAddress(String)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(void setEmailAddress(String)): Param_0.emailAddress == One-of{Param_1, old Param_0.emailAddress}
    //#post(void setEmailAddress(String)): (soft) init'ed(Param_0.emailAddress)
    //#test_vector(void setEmailAddress(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setEmailAddress(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Date getDateCreated()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Date getDateCreated()): Param_0
    //#input(Date getDateCreated()): Param_0.dateCreated
    //#input(Date getDateCreated()): Param_0.pcStateManager
    //#input(Date getDateCreated()): pcInheritedFieldCount
    //#output(Date getDateCreated()): return_value
    //#pre[2] (Date getDateCreated()): init'ed(Param_0.dateCreated)
    //#pre[3] (Date getDateCreated()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Date getDateCreated()): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(Date getDateCreated()): init'ed(return_value)
    //#unanalyzed(Date getDateCreated()): Effects-of-calling:java.util.Date:clone
    //#test_vector(Date getDateCreated()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Date org.apache.roller.weblogger.pojos.User.getDateCreated()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setDateCreated(Date)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setDateCreated(Date)): Param_0
    //#input(void setDateCreated(Date)): Param_0.dateCreated
    //#input(void setDateCreated(Date)): Param_0.pcStateManager
    //#input(void setDateCreated(Date)): Param_1
    //#input(void setDateCreated(Date)): pcInheritedFieldCount
    //#output(void setDateCreated(Date)): Param_0.dateCreated
    //#pre[2] (void setDateCreated(Date)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setDateCreated(Date)): (soft) init'ed(Param_0.dateCreated)
    //#pre[5] (void setDateCreated(Date)): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(void setDateCreated(Date)): init'ed(Param_0.dateCreated)
    //#unanalyzed(void setDateCreated(Date)): Effects-of-calling:java.util.Date:clone
    //#test_vector(void setDateCreated(Date)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setDateCreated(Date)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getLocale()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getLocale()): Param_0
    //#input(String getLocale()): Param_0.locale
    //#input(String getLocale()): Param_0.pcStateManager
    //#input(String getLocale()): pcInheritedFieldCount
    //#output(String getLocale()): return_value
    //#pre[2] (String getLocale()): init'ed(Param_0.locale)
    //#pre[3] (String getLocale()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getLocale()): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(String getLocale()): return_value == Param_0.locale
    //#post(String getLocale()): init'ed(return_value)
    //#test_vector(String getLocale()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getLocale()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setLocale(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setLocale(String)): Param_0
    //#input(void setLocale(String)): Param_0.locale
    //#input(void setLocale(String)): Param_0.pcStateManager
    //#input(void setLocale(String)): Param_1
    //#input(void setLocale(String)): pcInheritedFieldCount
    //#output(void setLocale(String)): Param_0.locale
    //#pre[2] (void setLocale(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setLocale(String)): (soft) init'ed(Param_0.locale)
    //#pre[5] (void setLocale(String)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(void setLocale(String)): Param_0.locale == One-of{Param_1, old Param_0.locale}
    //#post(void setLocale(String)): (soft) init'ed(Param_0.locale)
    //#test_vector(void setLocale(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setLocale(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getTimeZone()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getTimeZone()): Param_0
    //#input(String getTimeZone()): Param_0.pcStateManager
    //#input(String getTimeZone()): Param_0.timeZone
    //#input(String getTimeZone()): pcInheritedFieldCount
    //#output(String getTimeZone()): return_value
    //#pre[2] (String getTimeZone()): init'ed(Param_0.pcStateManager)
    //#pre[3] (String getTimeZone()): init'ed(Param_0.timeZone)
    //#pre[4] (String getTimeZone()): (soft) pcInheritedFieldCount <= 4_294_967_284
    //#post(String getTimeZone()): return_value == Param_0.timeZone
    //#post(String getTimeZone()): init'ed(return_value)
    //#test_vector(String getTimeZone()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getTimeZone()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setTimeZone(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setTimeZone(String)): Param_0
    //#input(void setTimeZone(String)): Param_0.pcStateManager
    //#input(void setTimeZone(String)): Param_0.timeZone
    //#input(void setTimeZone(String)): Param_1
    //#input(void setTimeZone(String)): pcInheritedFieldCount
    //#output(void setTimeZone(String)): Param_0.timeZone
    //#pre[2] (void setTimeZone(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setTimeZone(String)): (soft) init'ed(Param_0.timeZone)
    //#pre[5] (void setTimeZone(String)): (soft) pcInheritedFieldCount <= 4_294_967_284
    //#post(void setTimeZone(String)): Param_0.timeZone == One-of{Param_1, old Param_0.timeZone}
    //#post(void setTimeZone(String)): (soft) init'ed(Param_0.timeZone)
    //#test_vector(void setTimeZone(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setTimeZone(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Boolean getEnabled()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Boolean getEnabled()): Param_0
    //#input(Boolean getEnabled()): Param_0.enabled
    //#input(Boolean getEnabled()): Param_0.pcStateManager
    //#input(Boolean getEnabled()): pcInheritedFieldCount
    //#output(Boolean getEnabled()): return_value
    //#pre[2] (Boolean getEnabled()): init'ed(Param_0.enabled)
    //#pre[3] (Boolean getEnabled()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Boolean getEnabled()): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(Boolean getEnabled()): return_value == Param_0.enabled
    //#post(Boolean getEnabled()): init'ed(return_value)
    //#test_vector(Boolean getEnabled()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Boolean org.apache.roller.weblogger.pojos.User.getEnabled()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setEnabled(Boolean)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setEnabled(Boolean)): Param_0
    //#input(void setEnabled(Boolean)): Param_0.enabled
    //#input(void setEnabled(Boolean)): Param_0.pcStateManager
    //#input(void setEnabled(Boolean)): Param_1
    //#input(void setEnabled(Boolean)): pcInheritedFieldCount
    //#output(void setEnabled(Boolean)): Param_0.enabled
    //#pre[2] (void setEnabled(Boolean)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setEnabled(Boolean)): (soft) init'ed(Param_0.enabled)
    //#pre[5] (void setEnabled(Boolean)): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(void setEnabled(Boolean)): Param_0.enabled == One-of{Param_1, old Param_0.enabled}
    //#post(void setEnabled(Boolean)): (soft) init'ed(Param_0.enabled)
    //#test_vector(void setEnabled(Boolean)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setEnabled(Boolean)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: String getActivationCode()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getActivationCode()): Param_0
    //#input(String getActivationCode()): Param_0.activationCode
    //#input(String getActivationCode()): Param_0.pcStateManager
    //#input(String getActivationCode()): pcInheritedFieldCount
    //#output(String getActivationCode()): return_value
    //#pre[2] (String getActivationCode()): init'ed(Param_0.activationCode)
    //#pre[3] (String getActivationCode()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getActivationCode()): (soft) init'ed(pcInheritedFieldCount)
    //#post(String getActivationCode()): return_value == Param_0.activationCode
    //#post(String getActivationCode()): init'ed(return_value)
    //#test_vector(String getActivationCode()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: String org.apache.roller.weblogger.pojos.User.getActivationCode()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setActivationCode(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setActivationCode(String)): Param_0
    //#input(void setActivationCode(String)): Param_0.activationCode
    //#input(void setActivationCode(String)): Param_0.pcStateManager
    //#input(void setActivationCode(String)): Param_1
    //#input(void setActivationCode(String)): pcInheritedFieldCount
    //#output(void setActivationCode(String)): Param_0.activationCode
    //#pre[2] (void setActivationCode(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setActivationCode(String)): (soft) init'ed(Param_0.activationCode)
    //#pre[5] (void setActivationCode(String)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void setActivationCode(String)): Param_0.activationCode == One-of{Param_1, old Param_0.activationCode}
    //#post(void setActivationCode(String)): (soft) init'ed(Param_0.activationCode)
    //#test_vector(void setActivationCode(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setActivationCode(String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: List getPermissions()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(List getPermissions()): Param_0
    //#input(List getPermissions()): Param_0.pcStateManager
    //#input(List getPermissions()): Param_0.permissions
    //#input(List getPermissions()): pcInheritedFieldCount
    //#output(List getPermissions()): return_value
    //#pre[2] (List getPermissions()): init'ed(Param_0.pcStateManager)
    //#pre[3] (List getPermissions()): init'ed(Param_0.permissions)
    //#pre[4] (List getPermissions()): (soft) pcInheritedFieldCount <= 4_294_967_287
    //#post(List getPermissions()): return_value == Param_0.permissions
    //#post(List getPermissions()): init'ed(return_value)
    //#test_vector(List getPermissions()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: List org.apache.roller.weblogger.pojos.User.getPermissions()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setPermissions(List)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setPermissions(List)): Param_0
    //#input(void setPermissions(List)): Param_0.pcStateManager
    //#input(void setPermissions(List)): Param_0.permissions
    //#input(void setPermissions(List)): Param_1
    //#input(void setPermissions(List)): pcInheritedFieldCount
    //#output(void setPermissions(List)): Param_0.permissions
    //#pre[2] (void setPermissions(List)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setPermissions(List)): (soft) init'ed(Param_0.permissions)
    //#pre[5] (void setPermissions(List)): (soft) pcInheritedFieldCount <= 4_294_967_287
    //#post(void setPermissions(List)): Param_0.permissions == One-of{Param_1, old Param_0.permissions}
    //#post(void setPermissions(List)): (soft) init'ed(Param_0.permissions)
    //#test_vector(void setPermissions(List)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setPermissions(List)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Set getRoles()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Set getRoles()): Param_0
    //#input(Set getRoles()): Param_0.pcStateManager
    //#input(Set getRoles()): Param_0.roles
    //#input(Set getRoles()): pcInheritedFieldCount
    //#output(Set getRoles()): return_value
    //#pre[2] (Set getRoles()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Set getRoles()): init'ed(Param_0.roles)
    //#pre[4] (Set getRoles()): (soft) pcInheritedFieldCount <= 4_294_967_286
    //#post(Set getRoles()): return_value == Param_0.roles
    //#post(Set getRoles()): init'ed(return_value)
    //#test_vector(Set getRoles()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Set org.apache.roller.weblogger.pojos.User.getRoles()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void setRoles(Set)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setRoles(Set)): Param_0
    //#input(void setRoles(Set)): Param_0.pcStateManager
    //#input(void setRoles(Set)): Param_0.roles
    //#input(void setRoles(Set)): Param_1
    //#input(void setRoles(Set)): pcInheritedFieldCount
    //#output(void setRoles(Set)): Param_0.roles
    //#pre[2] (void setRoles(Set)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setRoles(Set)): (soft) init'ed(Param_0.roles)
    //#pre[5] (void setRoles(Set)): (soft) pcInheritedFieldCount <= 4_294_967_286
    //#post(void setRoles(Set)): Param_0.roles == One-of{Param_1, old Param_0.roles}
    //#post(void setRoles(Set)): (soft) init'ed(Param_0.roles)
    //#test_vector(void setRoles(Set)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.setRoles(Set)
    //#output(int pcGetEnhancementContractVersion()): return_value
    //#post(int pcGetEnhancementContractVersion()): return_value == 2
    //#User.java:: end of method: int org.apache.roller.weblogger.pojos.User.pcGetEnhancementContractVersion()
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Date.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_4
    //#    live edge: bb_4-->bb_5
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_7
    //#    live edge: bb_7-->bb_8
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/Boolean.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_10
    //#    live edge: bb_10-->bb_11
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_13
    //#    live edge: bb_13-->bb_14
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_16
    //#    live edge: bb_16-->bb_17
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_19
    //#    live edge: bb_19-->bb_20
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_22
    //#    live edge: bb_22-->bb_23
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/List.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_25
    //#    live edge: bb_25-->bb_26
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Set.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_28
    //#    live edge: bb_28-->bb_29
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_31
    //#    live edge: bb_31-->bb_32
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_34
    //#    live edge: bb_34-->bb_35
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_37
    //#    live edge: bb_37-->bb_38
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/User.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    from bb: bb_40
    //#    live edge: bb_40-->bb_41
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: ?use of default init
    //#    init'ed(pcPCSuperclass)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    basic block: bb_43
    //#    assertion: init'ed(pcPCSuperclass)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: org.apache.roller.weblogger.pojos.User__static_init
    //#    unanalyzed callee: void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#input(org.apache.roller.weblogger.pojos.User__static_init): java.lang.Boolean.TRUE
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getActivationCode()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getEnabled()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getFullName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getLocale()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getPassword()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getPermissions()Ljava/util/List;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getRoles()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getTimeZone()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getUserName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.grantRole(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.hasRole(Ljava/lang/String;)Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.hashCode()I
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcClearFields()V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/User;I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDeleted()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDirty()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsNew()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsPersistent()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsTransactional()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Ljava/lang/Object;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcProvideField(I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcProvideFields([I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceField(I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceFields([I)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcSerializing()Z
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetActivationCode()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetDateCreated()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetEmailAddress()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetEnabled()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetFullName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetLocale()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetPassword()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetPermissions()Ljava/util/List;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetRoles()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetScreenName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetTimeZone()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetUserName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetActivationCode(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetDateCreated(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetEmailAddress(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetEnabled(Ljava/lang/Boolean;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetFullName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetLocale(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetPassword(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetPermissions(Ljava/util/List;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetRoles(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetScreenName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetTimeZone(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetUserName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.resetPassword(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setActivationCode(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setFullName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setPermissions(Ljava/util/List;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setRoles(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setScreenName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setTimeZone(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setUserName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$lang$Boolean
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$lang$String
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$Date
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$List
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$Set
    //#output(org.apache.roller.weblogger.pojos.User__static_init): class$Lorg$apache$roller$weblogger$pojos$User
    //#output(org.apache.roller.weblogger.pojos.User__static_init): new Class[](User__static_init#2) num objects
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes.length
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[0]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[10]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[11]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[12]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[1]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[2]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[3]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[4]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[5]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[6]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[7]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[8]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[9]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): new String[](User__static_init#1) num objects
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames.length
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[0]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[10]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[11]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[12]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[1]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[2]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[3]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[4]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[5]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[6]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[7]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[8]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[9]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): new byte[](User__static_init#3) num objects
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags.length
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[0]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[10]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[11]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[12]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[1]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[2]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[3]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[4]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[5]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[6]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[7]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[8]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[9]
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames
    //#output(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes
    //#new obj(org.apache.roller.weblogger.pojos.User__static_init): new Class[](User__static_init#2)
    //#new obj(org.apache.roller.weblogger.pojos.User__static_init): new String[](User__static_init#1)
    //#new obj(org.apache.roller.weblogger.pojos.User__static_init): new byte[](User__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/User] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getActivationCode()Ljava/lang/String; == &getActivationCode
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date; == &getDateCreated
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String; == &getEmailAddress
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getEnabled()Ljava/lang/Boolean; == &getEnabled
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getFullName()Ljava/lang/String; == &getFullName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getLocale()Ljava/lang/String; == &getLocale
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getPassword()Ljava/lang/String; == &getPassword
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getPermissions()Ljava/util/List; == &getPermissions
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getRoles()Ljava/util/Set; == &getRoles
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String; == &getScreenName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getTimeZone()Ljava/lang/String; == &getTimeZone
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.getUserName()Ljava/lang/String; == &getUserName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.grantRole(Ljava/lang/String;)V == &grantRole
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.hasRole(Ljava/lang/String;)Z == &hasRole
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcClearFields()V == &pcClearFields
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/User;I)V == &pcCopyField
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V == &pcCopyFields
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V == &pcDirty
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object; == &pcFetchObjectId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object; == &pcGetDetachedState
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I == &pcGetEnhancementContractVersion
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object; == &pcGetGenericContext
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager; == &pcGetStateManager
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object; == &pcGetVersion
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDeleted()Z == &pcIsDeleted
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean; == &pcIsDetached
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsDirty()Z == &pcIsDirty
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsNew()Z == &pcIsNew
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsPersistent()Z == &pcIsPersistent
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcIsTransactional()Z == &pcIsTransactional
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Ljava/lang/Object;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcProvideField(I)V == &pcProvideField
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcProvideFields([I)V == &pcProvideFields
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceField(I)V == &pcReplaceField
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceFields([I)V == &pcReplaceFields
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V == &pcReplaceStateManager
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcSerializing()Z == &pcSerializing
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V == &pcSetDetachedState
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetActivationCode()Ljava/lang/String; == &pcgetActivationCode
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetDateCreated()Ljava/util/Date; == &pcgetDateCreated
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetEmailAddress()Ljava/lang/String; == &pcgetEmailAddress
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetEnabled()Ljava/lang/Boolean; == &pcgetEnabled
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetFullName()Ljava/lang/String; == &pcgetFullName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String; == &pcgetId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetLocale()Ljava/lang/String; == &pcgetLocale
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetPassword()Ljava/lang/String; == &pcgetPassword
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetPermissions()Ljava/util/List; == &pcgetPermissions
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetRoles()Ljava/util/Set; == &pcgetRoles
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetScreenName()Ljava/lang/String; == &pcgetScreenName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetTimeZone()Ljava/lang/String; == &pcgetTimeZone
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcgetUserName()Ljava/lang/String; == &pcgetUserName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetActivationCode(Ljava/lang/String;)V == &pcsetActivationCode
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetDateCreated(Ljava/util/Date;)V == &pcsetDateCreated
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetEmailAddress(Ljava/lang/String;)V == &pcsetEmailAddress
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetEnabled(Ljava/lang/Boolean;)V == &pcsetEnabled
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetFullName(Ljava/lang/String;)V == &pcsetFullName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V == &pcsetId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetLocale(Ljava/lang/String;)V == &pcsetLocale
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetPassword(Ljava/lang/String;)V == &pcsetPassword
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetPermissions(Ljava/util/List;)V == &pcsetPermissions
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetRoles(Ljava/util/Set;)V == &pcsetRoles
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetScreenName(Ljava/lang/String;)V == &pcsetScreenName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetTimeZone(Ljava/lang/String;)V == &pcsetTimeZone
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.pcsetUserName(Ljava/lang/String;)V == &pcsetUserName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V == &readObject
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.resetPassword(Ljava/lang/String;)V == &resetPassword
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setActivationCode(Ljava/lang/String;)V == &setActivationCode
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V == &setDateCreated
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V == &setEmailAddress
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V == &setEnabled
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setFullName(Ljava/lang/String;)V == &setFullName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setLocale(Ljava/lang/String;)V == &setLocale
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setPassword(Ljava/lang/String;)V == &setPassword
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setPermissions(Ljava/util/List;)V == &setPermissions
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setRoles(Ljava/util/Set;)V == &setRoles
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setScreenName(Ljava/lang/String;)V == &setScreenName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setTimeZone(Ljava/lang/String;)V == &setTimeZone
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.setUserName(Ljava/lang/String;)V == &setUserName
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#post(org.apache.roller.weblogger.pojos.User__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V == &writeObject
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$lang$Boolean == undefined
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$lang$Boolean == null
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$lang$String == class$Ljava$lang$Boolean
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$Date == class$Ljava$lang$Boolean
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$List == class$Ljava$lang$Boolean
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Ljava$util$Set == class$Ljava$lang$Boolean
    //#post(org.apache.roller.weblogger.pojos.User__static_init): class$Lorg$apache$roller$weblogger$pojos$User == class$Ljava$lang$Boolean
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags == &new byte[](User__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames == &new String[](User__static_init#1)
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes == &new Class[](User__static_init#2)
    //#post(org.apache.roller.weblogger.pojos.User__static_init): new Class[](User__static_init#2) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.User__static_init): new String[](User__static_init#1) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.User__static_init): new byte[](User__static_init#3) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes.length == 13
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames.length == 13
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags.length == 13
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[0] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[10] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[11] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[12] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[2] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[4] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[5] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[6] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[7] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[1] == &Ljava.util.Date.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[3] == &Ljava.lang.Boolean.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[8] == &Ljava.util.List.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldTypes[9] == &Ljava.util.Set.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[0] == &"activationCode"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[10] == &"screenName"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[11] == &"timeZone"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[12] == &"userName"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[1] == &"dateCreated"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[2] == &"emailAddress"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[3] == &"enabled"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[4] == &"fullName"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[5] == &"id"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[6] == &"locale"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[7] == &"password"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[8] == &"permissions"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldNames[9] == &"roles"
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[0] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[10] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[11] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[12] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[1] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[2] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[3] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[4] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[5] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[6] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[7] == 26
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[8] == 5
    //#post(org.apache.roller.weblogger.pojos.User__static_init): pcFieldFlags[9] == 5
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.lang.NoClassDefFoundError
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.util.HashSet
    //#unanalyzed(org.apache.roller.weblogger.pojos.User__static_init): Effects-of-calling:java.util.ArrayList
    //#User.java:: end of method: org.apache.roller.weblogger.pojos.User.org.apache.roller.weblogger.pojos.User__static_init
    //#input(Class class$(String)): Param_0
    //#output(Class class$(String)): return_value
    //#post(Class class$(String)): init'ed(return_value)
    //#User.java:: end of method: Class org.apache.roller.weblogger.pojos.User.class$(String)
    //#input(void pcClearFields()): Param_0
    //#output(void pcClearFields()): Param_0.activationCode
    //#output(void pcClearFields()): Param_0.dateCreated
    //#output(void pcClearFields()): Param_0.emailAddress
    //#output(void pcClearFields()): Param_0.enabled
    //#output(void pcClearFields()): Param_0.fullName
    //#output(void pcClearFields()): Param_0.id
    //#output(void pcClearFields()): Param_0.locale
    //#output(void pcClearFields()): Param_0.password
    //#output(void pcClearFields()): Param_0.permissions
    //#output(void pcClearFields()): Param_0.roles
    //#output(void pcClearFields()): Param_0.screenName
    //#output(void pcClearFields()): Param_0.timeZone
    //#output(void pcClearFields()): Param_0.userName
    //#post(void pcClearFields()): Param_0.activationCode == null
    //#post(void pcClearFields()): Param_0.emailAddress == null
    //#post(void pcClearFields()): Param_0.enabled == null
    //#post(void pcClearFields()): Param_0.fullName == null
    //#post(void pcClearFields()): Param_0.id == null
    //#post(void pcClearFields()): Param_0.locale == null
    //#post(void pcClearFields()): Param_0.password == null
    //#post(void pcClearFields()): Param_0.permissions == null
    //#post(void pcClearFields()): Param_0.roles == null
    //#post(void pcClearFields()): Param_0.screenName == null
    //#post(void pcClearFields()): Param_0.timeZone == null
    //#post(void pcClearFields()): Param_0.userName == null
    //#post(void pcClearFields()): init'ed(Param_0.dateCreated)
    //#unanalyzed(void pcClearFields()): Effects-of-calling:java.util.Date:clone
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcClearFields()
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_1
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_3
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcClearFields()V
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): java.lang.Boolean.TRUE
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new ArrayList(User#2) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new HashSet(User#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new User(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.activationCode
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.dateCreated
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.emailAddress
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.enabled
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.fullName
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.locale
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.password
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.permissions
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.roles
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.screenName
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.timeZone
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.userName
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new ArrayList(User#2)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new HashSet(User#1)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new User(pcNewInstance#1)
    //#pre[2] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2 != null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value == &new User(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new ArrayList(User#2) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new HashSet(User#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new User(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/User
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.activationCode)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.dateCreated)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.emailAddress)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.enabled == One-of{java.lang.Boolean.TRUE, null}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.enabled)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.fullName)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.locale)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.password)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager == Param_1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.pcStateManager)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.permissions in Addr_Set{null,&new ArrayList(User#2)}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.roles in Addr_Set{null,&new HashSet(User#1)}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.screenName)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.timeZone)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.userName)
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.util.Date:clone
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:org.apache.openjpa.util.StringId:getId
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_3: {0}, {1}
    //#User.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.User.pcNewInstance(StateManager, Object, bool)
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): Param_1
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Dispatch_Table.pcClearFields()V
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): java.lang.Boolean.TRUE
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new ArrayList(User#2) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new HashSet(User#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new User(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.activationCode
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.dateCreated
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.emailAddress
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.enabled
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.fullName
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.locale
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.password
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.permissions
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.roles
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.screenName
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.timeZone
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.userName
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new ArrayList(User#2)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new HashSet(User#1)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new User(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value == &new User(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new ArrayList(User#2) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new HashSet(User#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new User(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/User
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.activationCode)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.dateCreated)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.emailAddress)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.enabled == One-of{java.lang.Boolean.TRUE, null}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.enabled)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.fullName)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.locale)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.password)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager == Param_1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.pcStateManager)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.permissions in Addr_Set{null,&new ArrayList(User#2)}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.roles in Addr_Set{null,&new HashSet(User#1)}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.screenName)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.timeZone)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.userName)
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.util.Date:clone
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2: {0}, {1}
    //#User.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.User.pcNewInstance(StateManager, bool)
    //#output(int pcGetManagedFieldCount()): return_value
    //#post(int pcGetManagedFieldCount()): return_value == 13
    //#User.java:: end of method: int org.apache.roller.weblogger.pojos.User.pcGetManagedFieldCount()
    //#User.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#User.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#input(void pcReplaceField(int)): Param_0
    //#input(void pcReplaceField(int)): Param_0.pcStateManager
    //#input(void pcReplaceField(int)): Param_1
    //#input(void pcReplaceField(int)): pcInheritedFieldCount
    //#output(void pcReplaceField(int)): Param_0.activationCode
    //#output(void pcReplaceField(int)): Param_0.dateCreated
    //#output(void pcReplaceField(int)): Param_0.emailAddress
    //#output(void pcReplaceField(int)): Param_0.enabled
    //#output(void pcReplaceField(int)): Param_0.fullName
    //#output(void pcReplaceField(int)): Param_0.id
    //#output(void pcReplaceField(int)): Param_0.locale
    //#output(void pcReplaceField(int)): Param_0.password
    //#output(void pcReplaceField(int)): Param_0.permissions
    //#output(void pcReplaceField(int)): Param_0.roles
    //#output(void pcReplaceField(int)): Param_0.screenName
    //#output(void pcReplaceField(int)): Param_0.timeZone
    //#output(void pcReplaceField(int)): Param_0.userName
    //#pre[2] (void pcReplaceField(int)): Param_0.pcStateManager != null
    //#pre[4] (void pcReplaceField(int)): Param_1 - pcInheritedFieldCount in 0..12
    //#pre[18] (void pcReplaceField(int)): init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.activationCode)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.dateCreated)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.emailAddress)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.enabled)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.fullName)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.id)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.locale)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.password)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.permissions)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.roles)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.screenName)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.timeZone)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.userName)
    //#unanalyzed(void pcReplaceField(int)): Effects-of-calling:java.util.Date:clone
    //#test_vector(void pcReplaceField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcReplaceField(int)
    //#User.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/User.pcReplaceField: Param_1 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcReplaceFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/User.pcReplaceField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..12
    //#    callee file: User.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcReplaceFields(int[])): Param_0
    //#input(void pcReplaceFields(int[])): Param_0.__Tag
    //#input(void pcReplaceFields(int[])): Param_0.pcStateManager
    //#input(void pcReplaceFields(int[])): Param_1
    //#input(void pcReplaceFields(int[])): Param_1.length
    //#input(void pcReplaceFields(int[])): Param_1[0..4_294_967_295]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): __Dispatch_Table.pcReplaceField(I)V
    //#input(void pcReplaceFields(int[])): pcInheritedFieldCount
    //#output(void pcReplaceFields(int[])): Param_0.activationCode
    //#output(void pcReplaceFields(int[])): Param_0.dateCreated
    //#output(void pcReplaceFields(int[])): Param_0.emailAddress
    //#output(void pcReplaceFields(int[])): Param_0.enabled
    //#output(void pcReplaceFields(int[])): Param_0.fullName
    //#output(void pcReplaceFields(int[])): Param_0.id
    //#output(void pcReplaceFields(int[])): Param_0.locale
    //#output(void pcReplaceFields(int[])): Param_0.password
    //#output(void pcReplaceFields(int[])): Param_0.permissions
    //#output(void pcReplaceFields(int[])): Param_0.roles
    //#output(void pcReplaceFields(int[])): Param_0.screenName
    //#output(void pcReplaceFields(int[])): Param_0.timeZone
    //#output(void pcReplaceFields(int[])): Param_0.userName
    //#pre[4] (void pcReplaceFields(int[])): Param_1 != null
    //#pre[5] (void pcReplaceFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcReplaceFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[3] (void pcReplaceFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[6] (void pcReplaceFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[20] (void pcReplaceFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.activationCode)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.dateCreated)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.emailAddress)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.enabled)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.fullName)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.id)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.locale)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.password)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.permissions)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.roles)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.screenName)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.timeZone)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.userName)
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:java.util.Date:clone
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceStringField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceObjectField
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcReplaceFields(int[])
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#input(void pcProvideField(int)): Param_0
    //#input(void pcProvideField(int)): Param_0.activationCode
    //#input(void pcProvideField(int)): Param_0.dateCreated
    //#input(void pcProvideField(int)): Param_0.emailAddress
    //#input(void pcProvideField(int)): Param_0.enabled
    //#input(void pcProvideField(int)): Param_0.fullName
    //#input(void pcProvideField(int)): Param_0.id
    //#input(void pcProvideField(int)): Param_0.locale
    //#input(void pcProvideField(int)): Param_0.password
    //#input(void pcProvideField(int)): Param_0.pcStateManager
    //#input(void pcProvideField(int)): Param_0.permissions
    //#input(void pcProvideField(int)): Param_0.roles
    //#input(void pcProvideField(int)): Param_0.screenName
    //#input(void pcProvideField(int)): Param_0.timeZone
    //#input(void pcProvideField(int)): Param_0.userName
    //#input(void pcProvideField(int)): Param_1
    //#input(void pcProvideField(int)): pcInheritedFieldCount
    //#pre[10] (void pcProvideField(int)): Param_0.pcStateManager != null
    //#pre[17] (void pcProvideField(int)): Param_1 - pcInheritedFieldCount in 0..12
    //#pre[18] (void pcProvideField(int)): init'ed(pcInheritedFieldCount)
    //#pre[2] (void pcProvideField(int)): (soft) init'ed(Param_0.activationCode)
    //#pre[3] (void pcProvideField(int)): (soft) init'ed(Param_0.dateCreated)
    //#pre[4] (void pcProvideField(int)): (soft) init'ed(Param_0.emailAddress)
    //#pre[5] (void pcProvideField(int)): (soft) init'ed(Param_0.enabled)
    //#pre[6] (void pcProvideField(int)): (soft) init'ed(Param_0.fullName)
    //#pre[7] (void pcProvideField(int)): (soft) init'ed(Param_0.id)
    //#pre[8] (void pcProvideField(int)): (soft) init'ed(Param_0.locale)
    //#pre[9] (void pcProvideField(int)): (soft) init'ed(Param_0.password)
    //#pre[11] (void pcProvideField(int)): (soft) init'ed(Param_0.permissions)
    //#pre[12] (void pcProvideField(int)): (soft) init'ed(Param_0.roles)
    //#pre[13] (void pcProvideField(int)): (soft) init'ed(Param_0.screenName)
    //#pre[14] (void pcProvideField(int)): (soft) init'ed(Param_0.timeZone)
    //#pre[15] (void pcProvideField(int)): (soft) init'ed(Param_0.userName)
    //#unanalyzed(void pcProvideField(int)): Effects-of-calling:java.util.Date:clone
    //#test_vector(void pcProvideField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcProvideField(int)
    //#User.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/User.pcProvideField: Param_1 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcProvideFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/User.pcProvideField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..12
    //#    callee file: User.java
    //#    callee precondition index: [17]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcProvideFields(int[])): Param_0
    //#input(void pcProvideFields(int[])): Param_0.__Tag
    //#input(void pcProvideFields(int[])): Param_0.activationCode
    //#input(void pcProvideFields(int[])): Param_0.dateCreated
    //#input(void pcProvideFields(int[])): Param_0.emailAddress
    //#input(void pcProvideFields(int[])): Param_0.enabled
    //#input(void pcProvideFields(int[])): Param_0.fullName
    //#input(void pcProvideFields(int[])): Param_0.id
    //#input(void pcProvideFields(int[])): Param_0.locale
    //#input(void pcProvideFields(int[])): Param_0.password
    //#input(void pcProvideFields(int[])): Param_0.pcStateManager
    //#input(void pcProvideFields(int[])): Param_0.permissions
    //#input(void pcProvideFields(int[])): Param_0.roles
    //#input(void pcProvideFields(int[])): Param_0.screenName
    //#input(void pcProvideFields(int[])): Param_0.timeZone
    //#input(void pcProvideFields(int[])): Param_0.userName
    //#input(void pcProvideFields(int[])): Param_1
    //#input(void pcProvideFields(int[])): Param_1.length
    //#input(void pcProvideFields(int[])): Param_1[0..4_294_967_295]
    //#input(void pcProvideFields(int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void pcProvideFields(int[])): __Descendant_Table[others]
    //#input(void pcProvideFields(int[])): __Dispatch_Table.pcProvideField(I)V
    //#input(void pcProvideFields(int[])): pcInheritedFieldCount
    //#pre[17] (void pcProvideFields(int[])): Param_1 != null
    //#pre[18] (void pcProvideFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcProvideFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[3] (void pcProvideFields(int[])): (soft) init'ed(Param_0.activationCode)
    //#pre[4] (void pcProvideFields(int[])): (soft) init'ed(Param_0.dateCreated)
    //#pre[5] (void pcProvideFields(int[])): (soft) init'ed(Param_0.emailAddress)
    //#pre[6] (void pcProvideFields(int[])): (soft) init'ed(Param_0.enabled)
    //#pre[7] (void pcProvideFields(int[])): (soft) init'ed(Param_0.fullName)
    //#pre[8] (void pcProvideFields(int[])): (soft) init'ed(Param_0.id)
    //#pre[9] (void pcProvideFields(int[])): (soft) init'ed(Param_0.locale)
    //#pre[10] (void pcProvideFields(int[])): (soft) init'ed(Param_0.password)
    //#pre[11] (void pcProvideFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[12] (void pcProvideFields(int[])): (soft) init'ed(Param_0.permissions)
    //#pre[13] (void pcProvideFields(int[])): (soft) init'ed(Param_0.roles)
    //#pre[14] (void pcProvideFields(int[])): (soft) init'ed(Param_0.screenName)
    //#pre[15] (void pcProvideFields(int[])): (soft) init'ed(Param_0.timeZone)
    //#pre[16] (void pcProvideFields(int[])): (soft) init'ed(Param_0.userName)
    //#pre[19] (void pcProvideFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[20] (void pcProvideFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:java.util.Date:clone
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedStringField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedObjectField
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcProvideFields(int[])
    //#input(void pcCopyField(User, int)): Param_0
    //#input(void pcCopyField(User, int)): Param_1
    //#input(void pcCopyField(User, int)): Param_1.activationCode
    //#input(void pcCopyField(User, int)): Param_1.dateCreated
    //#input(void pcCopyField(User, int)): Param_1.emailAddress
    //#input(void pcCopyField(User, int)): Param_1.enabled
    //#input(void pcCopyField(User, int)): Param_1.fullName
    //#input(void pcCopyField(User, int)): Param_1.id
    //#input(void pcCopyField(User, int)): Param_1.locale
    //#input(void pcCopyField(User, int)): Param_1.password
    //#input(void pcCopyField(User, int)): Param_1.permissions
    //#input(void pcCopyField(User, int)): Param_1.roles
    //#input(void pcCopyField(User, int)): Param_1.screenName
    //#input(void pcCopyField(User, int)): Param_1.timeZone
    //#input(void pcCopyField(User, int)): Param_1.userName
    //#input(void pcCopyField(User, int)): Param_2
    //#input(void pcCopyField(User, int)): pcInheritedFieldCount
    //#output(void pcCopyField(User, int)): Param_0.activationCode
    //#output(void pcCopyField(User, int)): Param_0.dateCreated
    //#output(void pcCopyField(User, int)): Param_0.emailAddress
    //#output(void pcCopyField(User, int)): Param_0.enabled
    //#output(void pcCopyField(User, int)): Param_0.fullName
    //#output(void pcCopyField(User, int)): Param_0.id
    //#output(void pcCopyField(User, int)): Param_0.locale
    //#output(void pcCopyField(User, int)): Param_0.password
    //#output(void pcCopyField(User, int)): Param_0.permissions
    //#output(void pcCopyField(User, int)): Param_0.roles
    //#output(void pcCopyField(User, int)): Param_0.screenName
    //#output(void pcCopyField(User, int)): Param_0.timeZone
    //#output(void pcCopyField(User, int)): Param_0.userName
    //#pre[2] (void pcCopyField(User, int)): Param_1 != null
    //#pre[17] (void pcCopyField(User, int)): Param_2 - pcInheritedFieldCount in 0..12
    //#pre[31] (void pcCopyField(User, int)): init'ed(pcInheritedFieldCount)
    //#pre[3] (void pcCopyField(User, int)): (soft) init'ed(Param_1.activationCode)
    //#pre[4] (void pcCopyField(User, int)): (soft) init'ed(Param_1.dateCreated)
    //#pre[5] (void pcCopyField(User, int)): (soft) init'ed(Param_1.emailAddress)
    //#pre[6] (void pcCopyField(User, int)): (soft) init'ed(Param_1.enabled)
    //#pre[7] (void pcCopyField(User, int)): (soft) init'ed(Param_1.fullName)
    //#pre[8] (void pcCopyField(User, int)): (soft) init'ed(Param_1.id)
    //#pre[9] (void pcCopyField(User, int)): (soft) init'ed(Param_1.locale)
    //#pre[10] (void pcCopyField(User, int)): (soft) init'ed(Param_1.password)
    //#pre[11] (void pcCopyField(User, int)): (soft) init'ed(Param_1.permissions)
    //#pre[12] (void pcCopyField(User, int)): (soft) init'ed(Param_1.roles)
    //#pre[13] (void pcCopyField(User, int)): (soft) init'ed(Param_1.screenName)
    //#pre[14] (void pcCopyField(User, int)): (soft) init'ed(Param_1.timeZone)
    //#pre[15] (void pcCopyField(User, int)): (soft) init'ed(Param_1.userName)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.activationCode)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.dateCreated)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.emailAddress)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.enabled)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.fullName)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.id)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.locale)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.password)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.permissions)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.roles)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.screenName)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.timeZone)
    //#post(void pcCopyField(User, int)): possibly_updated(Param_0.userName)
    //#unanalyzed(void pcCopyField(User, int)): Effects-of-calling:java.util.Date:clone
    //#test_vector(void pcCopyField(User, int)): Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyField(User, int)
    //#User.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/User.pcCopyField: Param_2 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcCopyFields(Object, int[])
    //#    basic block: bb_2
    //#    assertion: Param_2[Local_4] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/User.pcCopyField(User, int)
    //#    callee assertion: Param_2 - pcInheritedFieldCount in 0..12
    //#    callee file: User.java
    //#    callee precondition index: [17]
    //#    callee srcpos: 
    //#    VN: Param_2[Local_4] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcCopyFields(Object, int[])): Param_0
    //#input(void pcCopyFields(Object, int[])): Param_0.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_0.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1
    //#input(void pcCopyFields(Object, int[])): Param_1.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_1.activationCode
    //#input(void pcCopyFields(Object, int[])): Param_1.dateCreated
    //#input(void pcCopyFields(Object, int[])): Param_1.emailAddress
    //#input(void pcCopyFields(Object, int[])): Param_1.enabled
    //#input(void pcCopyFields(Object, int[])): Param_1.fullName
    //#input(void pcCopyFields(Object, int[])): Param_1.id
    //#input(void pcCopyFields(Object, int[])): Param_1.locale
    //#input(void pcCopyFields(Object, int[])): Param_1.password
    //#input(void pcCopyFields(Object, int[])): Param_1.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1.permissions
    //#input(void pcCopyFields(Object, int[])): Param_1.roles
    //#input(void pcCopyFields(Object, int[])): Param_1.screenName
    //#input(void pcCopyFields(Object, int[])): Param_1.timeZone
    //#input(void pcCopyFields(Object, int[])): Param_1.userName
    //#input(void pcCopyFields(Object, int[])): Param_2
    //#input(void pcCopyFields(Object, int[])): Param_2.length
    //#input(void pcCopyFields(Object, int[])): Param_2[0..4_294_967_295]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[others]
    //#input(void pcCopyFields(Object, int[])): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/User;I)V
    //#input(void pcCopyFields(Object, int[])): pcInheritedFieldCount
    //#output(void pcCopyFields(Object, int[])): Param_0.activationCode
    //#output(void pcCopyFields(Object, int[])): Param_0.dateCreated
    //#output(void pcCopyFields(Object, int[])): Param_0.emailAddress
    //#output(void pcCopyFields(Object, int[])): Param_0.enabled
    //#output(void pcCopyFields(Object, int[])): Param_0.fullName
    //#output(void pcCopyFields(Object, int[])): Param_0.id
    //#output(void pcCopyFields(Object, int[])): Param_0.locale
    //#output(void pcCopyFields(Object, int[])): Param_0.password
    //#output(void pcCopyFields(Object, int[])): Param_0.permissions
    //#output(void pcCopyFields(Object, int[])): Param_0.roles
    //#output(void pcCopyFields(Object, int[])): Param_0.screenName
    //#output(void pcCopyFields(Object, int[])): Param_0.timeZone
    //#output(void pcCopyFields(Object, int[])): Param_0.userName
    //#pre[3] (void pcCopyFields(Object, int[])): Param_0.pcStateManager != null
    //#pre[4] (void pcCopyFields(Object, int[])): Param_0.pcStateManager == Param_1.pcStateManager
    //#pre[5] (void pcCopyFields(Object, int[])): Param_1 != null
    //#pre[7] (void pcCopyFields(Object, int[])): Param_1.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[16] (void pcCopyFields(Object, int[])): Param_1.pcStateManager != null
    //#pre[22] (void pcCopyFields(Object, int[])): Param_2 != null
    //#pre[23] (void pcCopyFields(Object, int[])): Param_2.length <= 4_294_967_295
    //#pre[2] (void pcCopyFields(Object, int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[8] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.activationCode)
    //#pre[9] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.dateCreated)
    //#pre[10] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.emailAddress)
    //#pre[11] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.enabled)
    //#pre[12] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.fullName)
    //#pre[13] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.id)
    //#pre[14] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.locale)
    //#pre[15] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.password)
    //#pre[17] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.permissions)
    //#pre[18] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.roles)
    //#pre[19] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.screenName)
    //#pre[20] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.timeZone)
    //#pre[21] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.userName)
    //#pre[24] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_2[0..4_294_967_295])
    //#pre[38] (void pcCopyFields(Object, int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.activationCode)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.dateCreated)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.emailAddress)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.enabled)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.fullName)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.id)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.locale)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.password)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.permissions)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.roles)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.screenName)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.timeZone)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.userName)
    //#unanalyzed(void pcCopyFields(Object, int[])): Effects-of-calling:java.util.Date:clone
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyFields(Object, int[])
    //#User.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcGetGenericContext()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#input(Object pcGetGenericContext()): Param_0
    //#input(Object pcGetGenericContext()): Param_0.pcStateManager
    //#output(Object pcGetGenericContext()): return_value
    //#pre[2] (Object pcGetGenericContext()): init'ed(Param_0.pcStateManager)
    //#post(Object pcGetGenericContext()): init'ed(return_value)
    //#test_vector(Object pcGetGenericContext()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcGetGenericContext()
    //#User.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcFetchObjectId()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#input(Object pcFetchObjectId()): Param_0
    //#input(Object pcFetchObjectId()): Param_0.pcStateManager
    //#output(Object pcFetchObjectId()): return_value
    //#pre[2] (Object pcFetchObjectId()): init'ed(Param_0.pcStateManager)
    //#post(Object pcFetchObjectId()): init'ed(return_value)
    //#test_vector(Object pcFetchObjectId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcFetchObjectId()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcIsDeleted()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#input(bool pcIsDeleted()): Param_0
    //#input(bool pcIsDeleted()): Param_0.pcStateManager
    //#output(bool pcIsDeleted()): return_value
    //#pre[2] (bool pcIsDeleted()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsDeleted()): init'ed(return_value)
    //#test_vector(bool pcIsDeleted()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcIsDeleted()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcIsDirty()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#input(bool pcIsDirty()): Param_0
    //#input(bool pcIsDirty()): Param_0.pcStateManager
    //#output(bool pcIsDirty()): return_value
    //#pre[2] (bool pcIsDirty()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsDirty()): init'ed(return_value)
    //#test_vector(bool pcIsDirty()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcIsDirty()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isNew()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcIsNew()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isNew()
    //#input(bool pcIsNew()): Param_0
    //#input(bool pcIsNew()): Param_0.pcStateManager
    //#output(bool pcIsNew()): return_value
    //#pre[2] (bool pcIsNew()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsNew()): init'ed(return_value)
    //#test_vector(bool pcIsNew()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcIsNew()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcIsPersistent()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#input(bool pcIsPersistent()): Param_0
    //#input(bool pcIsPersistent()): Param_0.pcStateManager
    //#output(bool pcIsPersistent()): return_value
    //#pre[2] (bool pcIsPersistent()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsPersistent()): init'ed(return_value)
    //#test_vector(bool pcIsPersistent()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcIsPersistent()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcIsTransactional()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#input(bool pcIsTransactional()): Param_0
    //#input(bool pcIsTransactional()): Param_0.pcStateManager
    //#output(bool pcIsTransactional()): return_value
    //#pre[2] (bool pcIsTransactional()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsTransactional()): init'ed(return_value)
    //#test_vector(bool pcIsTransactional()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcIsTransactional()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:serializing()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: bool pcSerializing()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:serializing()
    //#input(bool pcSerializing()): Param_0
    //#input(bool pcSerializing()): Param_0.pcStateManager
    //#output(bool pcSerializing()): return_value
    //#pre[2] (bool pcSerializing()): init'ed(Param_0.pcStateManager)
    //#post(bool pcSerializing()): init'ed(return_value)
    //#test_vector(bool pcSerializing()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: bool org.apache.roller.weblogger.pojos.User.pcSerializing()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcDirty(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#input(void pcDirty(String)): Param_0
    //#input(void pcDirty(String)): Param_0.pcStateManager
    //#input(void pcDirty(String)): Param_1
    //#pre[2] (void pcDirty(String)): init'ed(Param_0.pcStateManager)
    //#test_vector(void pcDirty(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcDirty(String)
    //#input(StateManager pcGetStateManager()): Param_0
    //#input(StateManager pcGetStateManager()): Param_0.pcStateManager
    //#output(StateManager pcGetStateManager()): return_value
    //#pre[2] (StateManager pcGetStateManager()): init'ed(Param_0.pcStateManager)
    //#post(StateManager pcGetStateManager()): return_value == Param_0.pcStateManager
    //#post(StateManager pcGetStateManager()): init'ed(return_value)
    //#User.java:: end of method: StateManager org.apache.roller.weblogger.pojos.User.pcGetStateManager()
    //#User.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcGetVersion()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#input(Object pcGetVersion()): Param_0
    //#input(Object pcGetVersion()): Param_0.pcStateManager
    //#output(Object pcGetVersion()): return_value
    //#pre[2] (Object pcGetVersion()): init'ed(Param_0.pcStateManager)
    //#post(Object pcGetVersion()): init'ed(return_value)
    //#test_vector(Object pcGetVersion()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcGetVersion()
    //#User.java:: Warning: method not available
    //#    -- call on StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcReplaceStateManager(StateManager)
    //#    unanalyzed callee: StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#input(void pcReplaceStateManager(StateManager)): Param_0
    //#input(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager
    //#input(void pcReplaceStateManager(StateManager)): Param_1
    //#output(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager
    //#pre[3] (void pcReplaceStateManager(StateManager)): init'ed(Param_0.pcStateManager)
    //#post(void pcReplaceStateManager(StateManager)): init'ed(Param_0.pcStateManager)
    //#test_vector(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager: Addr_Set{null}, Inverse{null}
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcReplaceStateManager(StateManager)
    //#User.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(FieldSupplier, Object) always ends with an exception
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#User.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(Object) always ends with an exception
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsToObjectId(Object)
    //#User.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): pcInheritedFieldCount
    //#pre[1] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1 != null
    //#pre[2] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2 != null
    //#pre[3] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): pcInheritedFieldCount <= 4_294_967_290
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#User.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: void pcCopyKeyFieldsFromObjectId(Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#input(void pcCopyKeyFieldsFromObjectId(Object)): Param_0
    //#input(void pcCopyKeyFieldsFromObjectId(Object)): Param_1
    //#output(void pcCopyKeyFieldsFromObjectId(Object)): Param_0.id
    //#pre[2] (void pcCopyKeyFieldsFromObjectId(Object)): Param_1 != null
    //#post(void pcCopyKeyFieldsFromObjectId(Object)): init'ed(Param_0.id)
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcCopyKeyFieldsFromObjectId(Object)
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/User.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    unanalyzed callee: void org.apache.openjpa.util.StringId(Class, String)
    //#input(Object pcNewObjectIdInstance(Object)): Param_1
    //#output(Object pcNewObjectIdInstance(Object)): class$Lorg$apache$roller$weblogger$pojos$User
    //#output(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1) num objects
    //#output(Object pcNewObjectIdInstance(Object)): return_value
    //#new obj(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance(Object)): class$Lorg$apache$roller$weblogger$pojos$User == old class$Lorg$apache$roller$weblogger$pojos$User
    //#post(Object pcNewObjectIdInstance(Object)): return_value == &new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1) num objects == 1
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.NoClassDefFoundError
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcNewObjectIdInstance(Object)
    //#User.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/User.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcNewObjectIdInstance()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#User.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Object pcNewObjectIdInstance()
    //#    unanalyzed callee: void org.apache.openjpa.util.StringId(Class, String)
    //#input(Object pcNewObjectIdInstance()): Param_0
    //#input(Object pcNewObjectIdInstance()): Param_0.id
    //#output(Object pcNewObjectIdInstance()): class$Lorg$apache$roller$weblogger$pojos$User
    //#output(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1) num objects
    //#output(Object pcNewObjectIdInstance()): return_value
    //#new obj(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1)
    //#pre[2] (Object pcNewObjectIdInstance()): init'ed(Param_0.id)
    //#post(Object pcNewObjectIdInstance()): class$Lorg$apache$roller$weblogger$pojos$User == old class$Lorg$apache$roller$weblogger$pojos$User
    //#post(Object pcNewObjectIdInstance()): return_value == &new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1) num objects == 1
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.NoClassDefFoundError
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcNewObjectIdInstance()
    //#User.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.User
    //#    method: Boolean pcIsDetached()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#input(Boolean pcIsDetached()): Param_0
    //#input(Boolean pcIsDetached()): Param_0.__Tag
    //#input(Boolean pcIsDetached()): Param_0.pcDetachedState
    //#input(Boolean pcIsDetached()): Param_0.pcStateManager
    //#input(Boolean pcIsDetached()): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(Boolean pcIsDetached()): __Descendant_Table[others]
    //#input(Boolean pcIsDetached()): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#input(Boolean pcIsDetached()): java.lang.Boolean.FALSE
    //#input(Boolean pcIsDetached()): java.lang.Boolean.TRUE
    //#input(Boolean pcIsDetached()): org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED
    //#output(Boolean pcIsDetached()): return_value
    //#pre[5] (Boolean pcIsDetached()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Boolean pcIsDetached()): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[4] (Boolean pcIsDetached()): (soft) init'ed(Param_0.pcDetachedState)
    //#presumption(Boolean pcIsDetached()): init'ed(java.lang.Boolean.FALSE)
    //#presumption(Boolean pcIsDetached()): init'ed(java.lang.Boolean.TRUE)
    //#presumption(Boolean pcIsDetached()): init'ed(org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED)
    //#post(Boolean pcIsDetached()): return_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE, null}
    //#post(Boolean pcIsDetached()): (soft) init'ed(return_value)
    //#test_vector(Boolean pcIsDetached()): Param_0.pcDetachedState: Addr_Set{null}, Inverse{null}
    //#test_vector(Boolean pcIsDetached()): Param_0.pcStateManager: Addr_Set{null}, Inverse{null}
    //#test_vector(Boolean pcIsDetached()): org.apache.openjpa.enhance.StateManager:isDetached(...): {0}, {1}
    //#User.java:: end of method: Boolean org.apache.roller.weblogger.pojos.User.pcIsDetached()
    //#input(Object pcGetDetachedState()): Param_0
    //#input(Object pcGetDetachedState()): Param_0.pcDetachedState
    //#output(Object pcGetDetachedState()): return_value
    //#pre[2] (Object pcGetDetachedState()): init'ed(Param_0.pcDetachedState)
    //#post(Object pcGetDetachedState()): return_value == Param_0.pcDetachedState
    //#post(Object pcGetDetachedState()): init'ed(return_value)
    //#User.java:: end of method: Object org.apache.roller.weblogger.pojos.User.pcGetDetachedState()
    //#input(void pcSetDetachedState(Object)): Param_0
    //#input(void pcSetDetachedState(Object)): Param_1
    //#output(void pcSetDetachedState(Object)): Param_0.pcDetachedState
    //#post(void pcSetDetachedState(Object)): Param_0.pcDetachedState == Param_1
    //#post(void pcSetDetachedState(Object)): init'ed(Param_0.pcDetachedState)
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.pcSetDetachedState(Object)
    //#input(void writeObject(ObjectOutputStream)): Param_0
    //#input(void writeObject(ObjectOutputStream)): Param_0.__Tag
    //#input(void writeObject(ObjectOutputStream)): Param_0.pcStateManager
    //#input(void writeObject(ObjectOutputStream)): Param_1
    //#input(void writeObject(ObjectOutputStream)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void writeObject(ObjectOutputStream)): __Descendant_Table[others]
    //#input(void writeObject(ObjectOutputStream)): __Dispatch_Table.pcSerializing()Z
    //#input(void writeObject(ObjectOutputStream)): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(void writeObject(ObjectOutputStream)): Param_0.pcDetachedState
    //#pre[2] (void writeObject(ObjectOutputStream)): Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[3] (void writeObject(ObjectOutputStream)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void writeObject(ObjectOutputStream)): Param_1 != null
    //#post(void writeObject(ObjectOutputStream)): Param_0.pcDetachedState == One-of{old Param_0.pcDetachedState, null}
    //#unanalyzed(void writeObject(ObjectOutputStream)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:serializing
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.writeObject(ObjectOutputStream)
    //#input(void readObject(ObjectInputStream)): Param_0
    //#input(void readObject(ObjectInputStream)): Param_0.__Tag
    //#input(void readObject(ObjectInputStream)): Param_1
    //#input(void readObject(ObjectInputStream)): __Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void readObject(ObjectInputStream)): __Descendant_Table[others]
    //#input(void readObject(ObjectInputStream)): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#input(void readObject(ObjectInputStream)): org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED
    //#output(void readObject(ObjectInputStream)): Param_0.pcDetachedState
    //#pre[2] (void readObject(ObjectInputStream)): Param_0.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[3] (void readObject(ObjectInputStream)): Param_1 != null
    //#presumption(void readObject(ObjectInputStream)): init'ed(org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED)
    //#post(void readObject(ObjectInputStream)): Param_0.pcDetachedState == org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED
    //#post(void readObject(ObjectInputStream)): (soft) init'ed(Param_0.pcDetachedState)
    //#User.java:: end of method: void org.apache.roller.weblogger.pojos.User.readObject(ObjectInputStream)
    //#User.java:: end of class: org.apache.roller.weblogger.pojos.User
