//# 6 errors, 1,130 messages
//#
/*
    //#TaskLock.java:1:1: class: org.apache.roller.weblogger.pojos.TaskLock
    //#TaskLock.java:1:1: method: String org.apache.roller.weblogger.pojos.TaskLock.getId()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setId(String)
    //#TaskLock.java:1:1: method: String org.apache.roller.weblogger.pojos.TaskLock.getName()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setName(String)
    //#TaskLock.java:1:1: method: Date org.apache.roller.weblogger.pojos.TaskLock.getTimeAquired()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setTimeAquired(Date)
    //#TaskLock.java:1:1: method: Date org.apache.roller.weblogger.pojos.TaskLock.getLastRun()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setLastRun(Date)
    //#TaskLock.java:1:1: method: int org.apache.roller.weblogger.pojos.TaskLock.getTimeLeased()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setTimeLeased(int)
    //#TaskLock.java:1:1: method: String org.apache.roller.weblogger.pojos.TaskLock.getClientId()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.setClientId(String)
    //#TaskLock.java:1:1: method: int org.apache.roller.weblogger.pojos.TaskLock.pcGetEnhancementContractVersion()
    //#TaskLock.java:1:1: method: org.apache.roller.weblogger.pojos.TaskLock.org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#TaskLock.java:1:1: method: Class org.apache.roller.weblogger.pojos.TaskLock.class$(String)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcClearFields()
    //#TaskLock.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.TaskLock.pcNewInstance(StateManager, Object, bool)
    //#TaskLock.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.TaskLock.pcNewInstance(StateManager, bool)
    //#TaskLock.java:1:1: method: int org.apache.roller.weblogger.pojos.TaskLock.pcGetManagedFieldCount()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceField(int)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceFields(int[])
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcProvideField(int)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcProvideFields(int[])
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyField(TaskLock, int)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyFields(Object, int[])
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcGetGenericContext()
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcFetchObjectId()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsDeleted()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsDirty()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsNew()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsPersistent()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsTransactional()
    //#TaskLock.java:1:1: method: bool org.apache.roller.weblogger.pojos.TaskLock.pcSerializing()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcDirty(String)
    //#TaskLock.java:1:1: method: StateManager org.apache.roller.weblogger.pojos.TaskLock.pcGetStateManager()
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcGetVersion()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceStateManager(StateManager)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsToObjectId(Object)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsFromObjectId(Object)
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcNewObjectIdInstance(Object)
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcNewObjectIdInstance()
    //#TaskLock.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.TaskLock.pcIsDetached()
    //#TaskLock.java:1:1: method: Object org.apache.roller.weblogger.pojos.TaskLock.pcGetDetachedState()
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.pcSetDetachedState(Object)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.writeObject(ObjectOutputStream)
    //#TaskLock.java:1:1: method: void org.apache.roller.weblogger.pojos.TaskLock.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.Calendar;
import java.util.Date;
import org.apache.roller.util.UUIDGenerator;


/**
 * Represents locking information about a specific RollerTask.
 */
public class TaskLock implements Serializable {
    
    private String id = UUIDGenerator.generateUUID();
    //#TaskLock.java:32: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void org.apache.roller.weblogger.pojos.TaskLock()
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    private String name = null;
    private Date timeAquired = null;
    private int timeLeased = 0;
    private Date lastRun = null;
    private String clientId = null;
    
    
    public TaskLock() {}
    //#TaskLock.java:40: method: void org.apache.roller.weblogger.pojos.TaskLock.org.apache.roller.weblogger.pojos.TaskLock()
    //#input(void org.apache.roller.weblogger.pojos.TaskLock()): this
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.clientId
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.id
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.lastRun
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.name
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.timeAquired
    //#output(void org.apache.roller.weblogger.pojos.TaskLock()): this.timeLeased
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): this.clientId == null
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): this.lastRun == null
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): this.name == null
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): this.timeAquired == null
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.TaskLock()): this.timeLeased == 0
    //#TaskLock.java:40: end of method: void org.apache.roller.weblogger.pojos.TaskLock.org.apache.roller.weblogger.pojos.TaskLock()
    
    
    /**
     * Calculate the next allowed time this task is allowed to run allowed to run.  
     * i.e. lastRun + interval
     */
    public Date getNextAllowedRun(int interval) {
        
        Date previousRun = getLastRun();
    //#TaskLock.java:49: method: Date org.apache.roller.weblogger.pojos.TaskLock.getNextAllowedRun(int)
    //#input(Date getNextAllowedRun(int)): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock]
    //#input(Date getNextAllowedRun(int)): __Descendant_Table[others]
    //#input(Date getNextAllowedRun(int)): __Dispatch_Table.getLastRun()Ljava/util/Date;
    //#input(Date getNextAllowedRun(int)): interval
    //#input(Date getNextAllowedRun(int)): pcInheritedFieldCount
    //#input(Date getNextAllowedRun(int)): this
    //#input(Date getNextAllowedRun(int)): this.__Tag
    //#input(Date getNextAllowedRun(int)): this.lastRun
    //#input(Date getNextAllowedRun(int)): this.pcStateManager
    //#output(Date getNextAllowedRun(int)): new Date(getNextAllowedRun#1) num objects
    //#output(Date getNextAllowedRun(int)): return_value
    //#new obj(Date getNextAllowedRun(int)): new Date(getNextAllowedRun#1)
    //#pre[4] (Date getNextAllowedRun(int)): this.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#pre[5] (Date getNextAllowedRun(int)): init'ed(this.lastRun)
    //#pre[6] (Date getNextAllowedRun(int)): init'ed(this.pcStateManager)
    //#pre[2] (Date getNextAllowedRun(int)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#presumption(Date getNextAllowedRun(int)): java.util.Calendar:getInstance(...)@55 != null
    //#post(Date getNextAllowedRun(int)): init'ed(return_value)
    //#post(Date getNextAllowedRun(int)): new Date(getNextAllowedRun#1) num objects <= 1
    //#unanalyzed(Date getNextAllowedRun(int)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(Date getNextAllowedRun(int)): this.lastRun: Inverse{null}, Addr_Set{null}
        if(previousRun == null) {
            return new Date(0);
        }
        
        // calculate next run time
        Calendar cal = Calendar.getInstance();
        cal.setTime(previousRun);
        cal.add(Calendar.MINUTE, interval);
        
        return cal.getTime();
    //#TaskLock.java:59: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.getNextAllowedRun(int)
    }
    
    
    /**
     * Get the time the last/current lease for this lock expires.
     * 
     * expireTime = timeAcquired + (timeLeased * 60sec/min) - 1 sec
     * we remove 1 second to adjust for precision differences
     */
    public Date getLeaseExpiration() {
        
        Date leaseAcquisitionTime = new Date(0);
    //#TaskLock.java:71: method: Date org.apache.roller.weblogger.pojos.TaskLock.getLeaseExpiration()
    //#input(Date getLeaseExpiration()): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock]
    //#input(Date getLeaseExpiration()): __Descendant_Table[others]
    //#input(Date getLeaseExpiration()): __Dispatch_Table.getTimeAquired()Ljava/util/Date;
    //#input(Date getLeaseExpiration()): pcInheritedFieldCount
    //#input(Date getLeaseExpiration()): this
    //#input(Date getLeaseExpiration()): this.__Tag
    //#input(Date getLeaseExpiration()): this.pcStateManager
    //#input(Date getLeaseExpiration()): this.timeAquired
    //#input(Date getLeaseExpiration()): this.timeLeased
    //#output(Date getLeaseExpiration()): return_value
    //#pre[3] (Date getLeaseExpiration()): this.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#pre[4] (Date getLeaseExpiration()): init'ed(this.pcStateManager)
    //#pre[5] (Date getLeaseExpiration()): init'ed(this.timeAquired)
    //#pre[6] (Date getLeaseExpiration()): init'ed(this.timeLeased)
    //#pre[1] (Date getLeaseExpiration()): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#presumption(Date getLeaseExpiration()): java.util.Calendar:getInstance(...)@77 != null
    //#post(Date getLeaseExpiration()): init'ed(return_value)
    //#unanalyzed(Date getLeaseExpiration()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(Date getLeaseExpiration()): this.timeAquired: Addr_Set{null}, Inverse{null}
        if(getTimeAquired() != null) {
            leaseAcquisitionTime = getTimeAquired();
        }
        
        // calculate lease expiration time
        Calendar cal = Calendar.getInstance();
        cal.setTime(leaseAcquisitionTime);
        cal.add(Calendar.MINUTE, timeLeased);
        
        return cal.getTime();
    //#TaskLock.java:81: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.getLeaseExpiration()
    }

    //------------------------------------------------------- Good citizenship

    @Override
    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#TaskLock.java:88: method: String org.apache.roller.weblogger.pojos.TaskLock.toString()
    //#input(String toString()): ", "._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): "}"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.name
    //#input(String toString()): this.name._tainted
    //#input(String toString()): this.timeAquired
    //#input(String toString()): this.timeAquired._tainted
    //#input(String toString()): this.timeLeased
    //#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.id)
    //#pre[5] (String toString()): init'ed(this.name)
    //#pre[7] (String toString()): init'ed(this.timeAquired)
    //#pre[10] (String toString()): init'ed(this.timeLeased)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.id._tainted | this.name._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.name);
        buf.append(", ").append(this.timeAquired);
        buf.append(", ").append(this.timeLeased);
        buf.append("}");
        return buf.toString();
    //#TaskLock.java:95: end of method: String org.apache.roller.weblogger.pojos.TaskLock.toString()
    }

    @Override
    public boolean equals(Object other) {
        
        if(this == other) return true;
    //#TaskLock.java:101: method: bool org.apache.roller.weblogger.pojos.TaskLock.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool equals(Object)): other
    //#input(bool equals(Object)): other.__Tag
    //#input(bool equals(Object)): other.name
    //#input(bool equals(Object)): other.pcStateManager
    //#input(bool equals(Object)): pcInheritedFieldCount
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.__Tag
    //#input(bool equals(Object)): this.name
    //#input(bool equals(Object)): this.pcStateManager
    //#output(bool equals(Object)): return_value
    //#pre[5] (bool equals(Object)): (soft) init'ed(other.name)
    //#pre[6] (bool equals(Object)): (soft) init'ed(other.pcStateManager)
    //#pre[7] (bool equals(Object)): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#pre[10] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#pre[11] (bool equals(Object)): (soft) this.name != null
    //#pre[12] (bool equals(Object)): (soft) init'ed(this.pcStateManager)
    //#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)): this == other: {0}, {1}
        if( !(other instanceof TaskLock) ) return false;
        
        // our natural key, or business key, is our name
        final TaskLock that = (TaskLock) other;
        return this.getName().equals(that.getName());
    //#TaskLock.java:106: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.equals(Object)
    }
    
    @Override
    public int hashCode() {
        // our natrual key, or business key, is our name
        return this.getName().hashCode();
    //#TaskLock.java:112: method: int org.apache.roller.weblogger.pojos.TaskLock.hashCode()
    //#input(int hashCode()): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock]
    //#input(int hashCode()): __Descendant_Table[others]
    //#input(int hashCode()): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(int hashCode()): pcInheritedFieldCount
    //#input(int hashCode()): this
    //#input(int hashCode()): this.__Tag
    //#input(int hashCode()): this.name
    //#input(int hashCode()): this.pcStateManager
    //#output(int hashCode()): return_value
    //#pre[3] (int hashCode()): this.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#pre[4] (int hashCode()): this.name != null
    //#pre[5] (int hashCode()): init'ed(this.pcStateManager)
    //#pre[1] (int hashCode()): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(int hashCode()): init'ed(return_value)
    //#unanalyzed(int hashCode()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#TaskLock.java:112: end of method: int org.apache.roller.weblogger.pojos.TaskLock.hashCode()
    }
    
    
    public String getId() {
        return id;
    //#TaskLock.java:117: method: String org.apache.roller.weblogger.pojos.TaskLock.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)
    //#TaskLock.java:117: end of method: String org.apache.roller.weblogger.pojos.TaskLock.pcgetId()
    }

    public void setId(String id) {
        this.id = id;
    //#TaskLock.java:121: method: void org.apache.roller.weblogger.pojos.TaskLock.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)
    }
    //#TaskLock.java:122: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetId(String)

    
    public String getName() {
        return name;
    //#TaskLock.java:126: method: String org.apache.roller.weblogger.pojos.TaskLock.pcgetName()
    //#input(String pcgetName()): this
    //#input(String pcgetName()): this.name
    //#output(String pcgetName()): return_value
    //#pre[2] (String pcgetName()): init'ed(this.name)
    //#post(String pcgetName()): return_value == this.name
    //#post(String pcgetName()): init'ed(return_value)
    //#TaskLock.java:126: end of method: String org.apache.roller.weblogger.pojos.TaskLock.pcgetName()
    }

    public void setName(String name) {
        this.name = name;
    //#TaskLock.java:130: method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetName(String)
    //#input(void pcsetName(String)): Param_1
    //#input(void pcsetName(String)): this
    //#output(void pcsetName(String)): this.name
    //#post(void pcsetName(String)): this.name == Param_1
    //#post(void pcsetName(String)): init'ed(this.name)
    }
    //#TaskLock.java:131: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetName(String)

    
    public Date getTimeAquired() {
        return timeAquired;
    //#TaskLock.java:135: method: Date org.apache.roller.weblogger.pojos.TaskLock.pcgetTimeAquired()
    //#input(Date pcgetTimeAquired()): this
    //#input(Date pcgetTimeAquired()): this.timeAquired
    //#output(Date pcgetTimeAquired()): return_value
    //#pre[2] (Date pcgetTimeAquired()): init'ed(this.timeAquired)
    //#post(Date pcgetTimeAquired()): return_value == this.timeAquired
    //#post(Date pcgetTimeAquired()): init'ed(return_value)
    //#TaskLock.java:135: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.pcgetTimeAquired()
    }

    public void setTimeAquired(Date timeAquired) {
        this.timeAquired = timeAquired;
    //#TaskLock.java:139: method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetTimeAquired(Date)
    //#input(void pcsetTimeAquired(Date)): Param_1
    //#input(void pcsetTimeAquired(Date)): this
    //#output(void pcsetTimeAquired(Date)): this.timeAquired
    //#post(void pcsetTimeAquired(Date)): this.timeAquired == Param_1
    //#post(void pcsetTimeAquired(Date)): init'ed(this.timeAquired)
    }
    //#TaskLock.java:140: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetTimeAquired(Date)

    
    public Date getLastRun() {
        return lastRun;
    //#TaskLock.java:144: method: Date org.apache.roller.weblogger.pojos.TaskLock.pcgetLastRun()
    //#input(Date pcgetLastRun()): this
    //#input(Date pcgetLastRun()): this.lastRun
    //#output(Date pcgetLastRun()): return_value
    //#pre[2] (Date pcgetLastRun()): init'ed(this.lastRun)
    //#post(Date pcgetLastRun()): return_value == this.lastRun
    //#post(Date pcgetLastRun()): init'ed(return_value)
    //#TaskLock.java:144: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.pcgetLastRun()
    }

    public void setLastRun(Date lastRun) {
        this.lastRun = lastRun;
    //#TaskLock.java:148: method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetLastRun(Date)
    //#input(void pcsetLastRun(Date)): Param_1
    //#input(void pcsetLastRun(Date)): this
    //#output(void pcsetLastRun(Date)): this.lastRun
    //#post(void pcsetLastRun(Date)): this.lastRun == Param_1
    //#post(void pcsetLastRun(Date)): init'ed(this.lastRun)
    }
    //#TaskLock.java:149: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetLastRun(Date)
    
    
    public int getTimeLeased() {
        return timeLeased;
    //#TaskLock.java:153: method: int org.apache.roller.weblogger.pojos.TaskLock.pcgetTimeLeased()
    //#input(int pcgetTimeLeased()): this
    //#input(int pcgetTimeLeased()): this.timeLeased
    //#output(int pcgetTimeLeased()): return_value
    //#pre[2] (int pcgetTimeLeased()): init'ed(this.timeLeased)
    //#post(int pcgetTimeLeased()): return_value == this.timeLeased
    //#post(int pcgetTimeLeased()): init'ed(return_value)
    //#TaskLock.java:153: end of method: int org.apache.roller.weblogger.pojos.TaskLock.pcgetTimeLeased()
    }

    public void setTimeLeased(int timeLeased) {
        this.timeLeased = timeLeased;
    //#TaskLock.java:157: method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetTimeLeased(int)
    //#input(void pcsetTimeLeased(int)): Param_1
    //#input(void pcsetTimeLeased(int)): this
    //#output(void pcsetTimeLeased(int)): this.timeLeased
    //#post(void pcsetTimeLeased(int)): this.timeLeased == Param_1
    //#post(void pcsetTimeLeased(int)): init'ed(this.timeLeased)
    }
    //#TaskLock.java:158: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetTimeLeased(int)

    
    public String getClientId() {
        return clientId;
    //#TaskLock.java:162: method: String org.apache.roller.weblogger.pojos.TaskLock.pcgetClientId()
    //#input(String pcgetClientId()): this
    //#input(String pcgetClientId()): this.clientId
    //#output(String pcgetClientId()): return_value
    //#pre[2] (String pcgetClientId()): init'ed(this.clientId)
    //#post(String pcgetClientId()): return_value == this.clientId
    //#post(String pcgetClientId()): init'ed(return_value)
    //#TaskLock.java:162: end of method: String org.apache.roller.weblogger.pojos.TaskLock.pcgetClientId()
    }

    public void setClientId(String clientId) {
        this.clientId = clientId;
    //#TaskLock.java:166: method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetClientId(String)
    //#input(void pcsetClientId(String)): Param_1
    //#input(void pcsetClientId(String)): this
    //#output(void pcsetClientId(String)): this.clientId
    //#post(void pcsetClientId(String)): this.clientId == Param_1
    //#post(void pcsetClientId(String)): init'ed(this.clientId)
    }
    //#TaskLock.java:167: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcsetClientId(String)
    
}
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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_294
    //#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}
    //#TaskLock.java:: end of method: String org.apache.roller.weblogger.pojos.TaskLock.getId()
    //#TaskLock.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.TaskLock
    //#    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_294
    //#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}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setId(String)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: String getName()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getName()): Param_0
    //#input(String getName()): Param_0.name
    //#input(String getName()): Param_0.pcStateManager
    //#input(String getName()): pcInheritedFieldCount
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(Param_0.name)
    //#pre[3] (String getName()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getName()): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(String getName()): return_value == Param_0.name
    //#post(String getName()): init'ed(return_value)
    //#test_vector(String getName()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: String org.apache.roller.weblogger.pojos.TaskLock.getName()
    //#TaskLock.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.TaskLock
    //#    method: void setName(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setName(String)): Param_0
    //#input(void setName(String)): Param_0.name
    //#input(void setName(String)): Param_0.pcStateManager
    //#input(void setName(String)): Param_1
    //#input(void setName(String)): pcInheritedFieldCount
    //#output(void setName(String)): Param_0.name
    //#pre[2] (void setName(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setName(String)): (soft) init'ed(Param_0.name)
    //#pre[5] (void setName(String)): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(void setName(String)): Param_0.name == One-of{Param_1, old Param_0.name}
    //#post(void setName(String)): (soft) init'ed(Param_0.name)
    //#test_vector(void setName(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setName(String)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: Date getTimeAquired()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Date getTimeAquired()): Param_0
    //#input(Date getTimeAquired()): Param_0.pcStateManager
    //#input(Date getTimeAquired()): Param_0.timeAquired
    //#input(Date getTimeAquired()): pcInheritedFieldCount
    //#output(Date getTimeAquired()): return_value
    //#pre[2] (Date getTimeAquired()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Date getTimeAquired()): init'ed(Param_0.timeAquired)
    //#pre[4] (Date getTimeAquired()): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(Date getTimeAquired()): return_value == Param_0.timeAquired
    //#post(Date getTimeAquired()): init'ed(return_value)
    //#test_vector(Date getTimeAquired()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.getTimeAquired()
    //#TaskLock.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.TaskLock
    //#    method: void setTimeAquired(Date)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setTimeAquired(Date)): Param_0
    //#input(void setTimeAquired(Date)): Param_0.pcStateManager
    //#input(void setTimeAquired(Date)): Param_0.timeAquired
    //#input(void setTimeAquired(Date)): Param_1
    //#input(void setTimeAquired(Date)): pcInheritedFieldCount
    //#output(void setTimeAquired(Date)): Param_0.timeAquired
    //#pre[2] (void setTimeAquired(Date)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setTimeAquired(Date)): (soft) init'ed(Param_0.timeAquired)
    //#pre[5] (void setTimeAquired(Date)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(void setTimeAquired(Date)): Param_0.timeAquired == One-of{Param_1, old Param_0.timeAquired}
    //#post(void setTimeAquired(Date)): (soft) init'ed(Param_0.timeAquired)
    //#test_vector(void setTimeAquired(Date)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setTimeAquired(Date)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: Date getLastRun()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Date getLastRun()): Param_0
    //#input(Date getLastRun()): Param_0.lastRun
    //#input(Date getLastRun()): Param_0.pcStateManager
    //#input(Date getLastRun()): pcInheritedFieldCount
    //#output(Date getLastRun()): return_value
    //#pre[2] (Date getLastRun()): init'ed(Param_0.lastRun)
    //#pre[3] (Date getLastRun()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Date getLastRun()): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(Date getLastRun()): return_value == Param_0.lastRun
    //#post(Date getLastRun()): init'ed(return_value)
    //#test_vector(Date getLastRun()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: Date org.apache.roller.weblogger.pojos.TaskLock.getLastRun()
    //#TaskLock.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.TaskLock
    //#    method: void setLastRun(Date)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setLastRun(Date)): Param_0
    //#input(void setLastRun(Date)): Param_0.lastRun
    //#input(void setLastRun(Date)): Param_0.pcStateManager
    //#input(void setLastRun(Date)): Param_1
    //#input(void setLastRun(Date)): pcInheritedFieldCount
    //#output(void setLastRun(Date)): Param_0.lastRun
    //#pre[2] (void setLastRun(Date)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setLastRun(Date)): (soft) init'ed(Param_0.lastRun)
    //#pre[5] (void setLastRun(Date)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(void setLastRun(Date)): Param_0.lastRun == One-of{Param_1, old Param_0.lastRun}
    //#post(void setLastRun(Date)): (soft) init'ed(Param_0.lastRun)
    //#test_vector(void setLastRun(Date)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setLastRun(Date)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: int getTimeLeased()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(int getTimeLeased()): Param_0
    //#input(int getTimeLeased()): Param_0.pcStateManager
    //#input(int getTimeLeased()): Param_0.timeLeased
    //#input(int getTimeLeased()): pcInheritedFieldCount
    //#output(int getTimeLeased()): return_value
    //#pre[2] (int getTimeLeased()): init'ed(Param_0.pcStateManager)
    //#pre[3] (int getTimeLeased()): init'ed(Param_0.timeLeased)
    //#pre[4] (int getTimeLeased()): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(int getTimeLeased()): return_value == Param_0.timeLeased
    //#post(int getTimeLeased()): init'ed(return_value)
    //#test_vector(int getTimeLeased()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: int org.apache.roller.weblogger.pojos.TaskLock.getTimeLeased()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingIntField(PersistenceCapable, int, int, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void setTimeLeased(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingIntField(PersistenceCapable, int, int, int, int)
    //#input(void setTimeLeased(int)): Param_0
    //#input(void setTimeLeased(int)): Param_0.pcStateManager
    //#input(void setTimeLeased(int)): Param_0.timeLeased
    //#input(void setTimeLeased(int)): Param_1
    //#input(void setTimeLeased(int)): pcInheritedFieldCount
    //#output(void setTimeLeased(int)): Param_0.timeLeased
    //#pre[2] (void setTimeLeased(int)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setTimeLeased(int)): (soft) init'ed(Param_0.timeLeased)
    //#pre[5] (void setTimeLeased(int)): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(void setTimeLeased(int)): Param_0.timeLeased == One-of{Param_1, old Param_0.timeLeased}
    //#post(void setTimeLeased(int)): (soft) init'ed(Param_0.timeLeased)
    //#test_vector(void setTimeLeased(int)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setTimeLeased(int)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: String getClientId()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getClientId()): Param_0
    //#input(String getClientId()): Param_0.clientId
    //#input(String getClientId()): Param_0.pcStateManager
    //#input(String getClientId()): pcInheritedFieldCount
    //#output(String getClientId()): return_value
    //#pre[2] (String getClientId()): init'ed(Param_0.clientId)
    //#pre[3] (String getClientId()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getClientId()): (soft) init'ed(pcInheritedFieldCount)
    //#post(String getClientId()): return_value == Param_0.clientId
    //#post(String getClientId()): init'ed(return_value)
    //#test_vector(String getClientId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: String org.apache.roller.weblogger.pojos.TaskLock.getClientId()
    //#TaskLock.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.TaskLock
    //#    method: void setClientId(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setClientId(String)): Param_0
    //#input(void setClientId(String)): Param_0.clientId
    //#input(void setClientId(String)): Param_0.pcStateManager
    //#input(void setClientId(String)): Param_1
    //#input(void setClientId(String)): pcInheritedFieldCount
    //#output(void setClientId(String)): Param_0.clientId
    //#pre[2] (void setClientId(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setClientId(String)): (soft) init'ed(Param_0.clientId)
    //#pre[5] (void setClientId(String)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void setClientId(String)): Param_0.clientId == One-of{Param_1, old Param_0.clientId}
    //#post(void setClientId(String)): (soft) init'ed(Param_0.clientId)
    //#test_vector(void setClientId(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.setClientId(String)
    //#output(int pcGetEnhancementContractVersion()): return_value
    //#post(int pcGetEnhancementContractVersion()): return_value == 2
    //#TaskLock.java:: end of method: int org.apache.roller.weblogger.pojos.TaskLock.pcGetEnhancementContractVersion()
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: bb_4
    //#    live edge: bb_4-->bb_5
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Date.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: bb_7
    //#    live edge: bb_7-->bb_8
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: bb_10
    //#    live edge: bb_10-->bb_11
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Date.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: bb_13
    //#    live edge: bb_13-->bb_14
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/TaskLock.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    from bb: bb_16
    //#    live edge: bb_16-->bb_17
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: ?use of default init
    //#    init'ed(pcPCSuperclass)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    basic block: bb_19
    //#    assertion: init'ed(pcPCSuperclass)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#TaskLock.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.TaskLock
    //#    method: org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#    unanalyzed callee: void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#input(org.apache.roller.weblogger.pojos.TaskLock__static_init): java.lang.Integer.TYPE
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getClientId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getLastRun()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getLeaseExpiration()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getNextAllowedRun(I)Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getTimeAquired()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getTimeLeased()I
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.hashCode()I
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcClearFields()V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/TaskLock;I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDeleted()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDirty()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsNew()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsPersistent()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsTransactional()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__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.TaskLock__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcProvideField(I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcProvideFields([I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceField(I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceFields([I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcSerializing()Z
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetClientId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetLastRun()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetTimeAquired()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetTimeLeased()I
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetClientId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetLastRun(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetTimeAquired(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetTimeLeased(I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setClientId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setLastRun(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setTimeAquired(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setTimeLeased(I)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Ljava$lang$String
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Ljava$util$Date
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Lorg$apache$roller$weblogger$pojos$TaskLock
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): new Class[](TaskLock__static_init#2) num objects
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes.length
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[0]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[1]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[2]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[3]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[4]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[5]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): new String[](TaskLock__static_init#1) num objects
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames.length
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[0]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[1]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[2]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[3]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[4]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[5]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): new byte[](TaskLock__static_init#3) num objects
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags.length
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[0]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[1]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[2]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[3]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[4]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[5]
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes
    //#output(org.apache.roller.weblogger.pojos.TaskLock__static_init): serialVersionUID
    //#new obj(org.apache.roller.weblogger.pojos.TaskLock__static_init): new Class[](TaskLock__static_init#2)
    //#new obj(org.apache.roller.weblogger.pojos.TaskLock__static_init): new String[](TaskLock__static_init#1)
    //#new obj(org.apache.roller.weblogger.pojos.TaskLock__static_init): new byte[](TaskLock__static_init#3)
    //#presumption(org.apache.roller.weblogger.pojos.TaskLock__static_init): init'ed(java.lang.Integer.TYPE)
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/TaskLock] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getClientId()Ljava/lang/String; == &getClientId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getLastRun()Ljava/util/Date; == &getLastRun
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getLeaseExpiration()Ljava/util/Date; == &getLeaseExpiration
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getNextAllowedRun(I)Ljava/util/Date; == &getNextAllowedRun
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getTimeAquired()Ljava/util/Date; == &getTimeAquired
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.getTimeLeased()I == &getTimeLeased
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcClearFields()V == &pcClearFields
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/TaskLock;I)V == &pcCopyField
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V == &pcCopyFields
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V == &pcDirty
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object; == &pcFetchObjectId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object; == &pcGetDetachedState
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I == &pcGetEnhancementContractVersion
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object; == &pcGetGenericContext
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager; == &pcGetStateManager
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object; == &pcGetVersion
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDeleted()Z == &pcIsDeleted
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean; == &pcIsDetached
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsDirty()Z == &pcIsDirty
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsNew()Z == &pcIsNew
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsPersistent()Z == &pcIsPersistent
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcIsTransactional()Z == &pcIsTransactional
    //#post(org.apache.roller.weblogger.pojos.TaskLock__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.TaskLock__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcProvideField(I)V == &pcProvideField
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcProvideFields([I)V == &pcProvideFields
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceField(I)V == &pcReplaceField
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceFields([I)V == &pcReplaceFields
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V == &pcReplaceStateManager
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcSerializing()Z == &pcSerializing
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V == &pcSetDetachedState
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetClientId()Ljava/lang/String; == &pcgetClientId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String; == &pcgetId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetLastRun()Ljava/util/Date; == &pcgetLastRun
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String; == &pcgetName
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetTimeAquired()Ljava/util/Date; == &pcgetTimeAquired
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcgetTimeLeased()I == &pcgetTimeLeased
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetClientId(Ljava/lang/String;)V == &pcsetClientId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V == &pcsetId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetLastRun(Ljava/util/Date;)V == &pcsetLastRun
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V == &pcsetName
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetTimeAquired(Ljava/util/Date;)V == &pcsetTimeAquired
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.pcsetTimeLeased(I)V == &pcsetTimeLeased
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V == &readObject
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setClientId(Ljava/lang/String;)V == &setClientId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setLastRun(Ljava/util/Date;)V == &setLastRun
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setTimeAquired(Ljava/util/Date;)V == &setTimeAquired
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.setTimeLeased(I)V == &setTimeLeased
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V == &writeObject
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Ljava$lang$String == undefined
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Ljava$lang$String == null
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Ljava$util$Date == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): class$Lorg$apache$roller$weblogger$pojos$TaskLock == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags == &new byte[](TaskLock__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames == &new String[](TaskLock__static_init#1)
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes == &new Class[](TaskLock__static_init#2)
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): serialVersionUID == -1_069_371_955_439_758_386
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): new Class[](TaskLock__static_init#2) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): new String[](TaskLock__static_init#1) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): new byte[](TaskLock__static_init#3) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes.length == 6
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames.length == 6
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags.length == 6
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[0] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[1] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[3] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[2] == &Ljava.util.Date.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[4] == &Ljava.util.Date.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldTypes[5] == java.lang.Integer.TYPE
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): (soft) init'ed(pcFieldTypes[5])
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[0] == &"clientId"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[1] == &"id"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[2] == &"lastRun"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[3] == &"name"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[4] == &"timeAquired"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldNames[5] == &"timeLeased"
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[0] == 26
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[1] == 26
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[2] == 26
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[3] == 26
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[4] == 26
    //#post(org.apache.roller.weblogger.pojos.TaskLock__static_init): pcFieldFlags[5] == 26
    //#unanalyzed(org.apache.roller.weblogger.pojos.TaskLock__static_init): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(org.apache.roller.weblogger.pojos.TaskLock__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(org.apache.roller.weblogger.pojos.TaskLock__static_init): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(org.apache.roller.weblogger.pojos.TaskLock__static_init): Effects-of-calling:java.lang.NoClassDefFoundError
    //#unanalyzed(org.apache.roller.weblogger.pojos.TaskLock__static_init): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#TaskLock.java:: end of method: org.apache.roller.weblogger.pojos.TaskLock.org.apache.roller.weblogger.pojos.TaskLock__static_init
    //#input(Class class$(String)): Param_0
    //#output(Class class$(String)): return_value
    //#post(Class class$(String)): init'ed(return_value)
    //#TaskLock.java:: end of method: Class org.apache.roller.weblogger.pojos.TaskLock.class$(String)
    //#input(void pcClearFields()): Param_0
    //#output(void pcClearFields()): Param_0.clientId
    //#output(void pcClearFields()): Param_0.id
    //#output(void pcClearFields()): Param_0.lastRun
    //#output(void pcClearFields()): Param_0.name
    //#output(void pcClearFields()): Param_0.timeAquired
    //#output(void pcClearFields()): Param_0.timeLeased
    //#post(void pcClearFields()): Param_0.clientId == null
    //#post(void pcClearFields()): Param_0.id == null
    //#post(void pcClearFields()): Param_0.lastRun == null
    //#post(void pcClearFields()): Param_0.name == null
    //#post(void pcClearFields()): Param_0.timeAquired == null
    //#post(void pcClearFields()): Param_0.timeLeased == 0
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.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/TaskLock]
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcClearFields()V
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TaskLock(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.clientId
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.lastRun
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.timeAquired
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.timeLeased
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TaskLock(pcNewInstance#1)
    //#pre[2] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2 != null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value == &new TaskLock(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TaskLock(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.clientId == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.lastRun == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name == null
    //#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.timeAquired == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.timeLeased == 0
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#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}
    //#TaskLock.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.TaskLock.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/TaskLock]
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Dispatch_Table.pcClearFields()V
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new TaskLock(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.clientId
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.lastRun
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.timeAquired
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.timeLeased
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new TaskLock(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value == &new TaskLock(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new TaskLock(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.clientId == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.lastRun == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name == null
    //#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.timeAquired == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.timeLeased == 0
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2: {0}, {1}
    //#TaskLock.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.TaskLock.pcNewInstance(StateManager, bool)
    //#output(int pcGetManagedFieldCount()): return_value
    //#post(int pcGetManagedFieldCount()): return_value == 6
    //#TaskLock.java:: end of method: int org.apache.roller.weblogger.pojos.TaskLock.pcGetManagedFieldCount()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on int org.apache.openjpa.enhance.StateManager:replaceIntField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: int org.apache.openjpa.enhance.StateManager:replaceIntField(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.clientId
    //#output(void pcReplaceField(int)): Param_0.id
    //#output(void pcReplaceField(int)): Param_0.lastRun
    //#output(void pcReplaceField(int)): Param_0.name
    //#output(void pcReplaceField(int)): Param_0.timeAquired
    //#output(void pcReplaceField(int)): Param_0.timeLeased
    //#pre[2] (void pcReplaceField(int)): Param_0.pcStateManager != null
    //#pre[4] (void pcReplaceField(int)): Param_1 - pcInheritedFieldCount in 0..5
    //#pre[11] (void pcReplaceField(int)): init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.clientId)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.id)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.lastRun)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.name)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.timeAquired)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.timeLeased)
    //#test_vector(void pcReplaceField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceField(int)
    //#TaskLock.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/TaskLock.pcReplaceField: Param_1 - pcInheritedFieldCount in 0..5
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcReplaceFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..5
    //#    callee: void org/apache/roller/weblogger/pojos/TaskLock.pcReplaceField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..5
    //#    callee file: TaskLock.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..5}
    //#    Bad: {-6_442_450_943..-1, 6..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/TaskLock]
    //#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.clientId
    //#output(void pcReplaceFields(int[])): Param_0.id
    //#output(void pcReplaceFields(int[])): Param_0.lastRun
    //#output(void pcReplaceFields(int[])): Param_0.name
    //#output(void pcReplaceFields(int[])): Param_0.timeAquired
    //#output(void pcReplaceFields(int[])): Param_0.timeLeased
    //#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/TaskLock
    //#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[13] (void pcReplaceFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.clientId)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.id)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.lastRun)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.name)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.timeAquired)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.timeLeased)
    //#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
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceIntField
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceFields(int[])
    //#TaskLock.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.TaskLock
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#TaskLock.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.TaskLock
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedIntField(PersistenceCapable, int, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedIntField(PersistenceCapable, int, int)
    //#input(void pcProvideField(int)): Param_0
    //#input(void pcProvideField(int)): Param_0.clientId
    //#input(void pcProvideField(int)): Param_0.id
    //#input(void pcProvideField(int)): Param_0.lastRun
    //#input(void pcProvideField(int)): Param_0.name
    //#input(void pcProvideField(int)): Param_0.pcStateManager
    //#input(void pcProvideField(int)): Param_0.timeAquired
    //#input(void pcProvideField(int)): Param_0.timeLeased
    //#input(void pcProvideField(int)): Param_1
    //#input(void pcProvideField(int)): pcInheritedFieldCount
    //#pre[6] (void pcProvideField(int)): Param_0.pcStateManager != null
    //#pre[10] (void pcProvideField(int)): Param_1 - pcInheritedFieldCount in 0..5
    //#pre[11] (void pcProvideField(int)): init'ed(pcInheritedFieldCount)
    //#pre[2] (void pcProvideField(int)): (soft) init'ed(Param_0.clientId)
    //#pre[3] (void pcProvideField(int)): (soft) init'ed(Param_0.id)
    //#pre[4] (void pcProvideField(int)): (soft) init'ed(Param_0.lastRun)
    //#pre[5] (void pcProvideField(int)): (soft) init'ed(Param_0.name)
    //#pre[7] (void pcProvideField(int)): (soft) init'ed(Param_0.timeAquired)
    //#pre[8] (void pcProvideField(int)): (soft) init'ed(Param_0.timeLeased)
    //#test_vector(void pcProvideField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcProvideField(int)
    //#TaskLock.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/TaskLock.pcProvideField: Param_1 - pcInheritedFieldCount in 0..5
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcProvideFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..5
    //#    callee: void org/apache/roller/weblogger/pojos/TaskLock.pcProvideField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..5
    //#    callee file: TaskLock.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..5}
    //#    Bad: {-6_442_450_943..-1, 6..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.clientId
    //#input(void pcProvideFields(int[])): Param_0.id
    //#input(void pcProvideFields(int[])): Param_0.lastRun
    //#input(void pcProvideFields(int[])): Param_0.name
    //#input(void pcProvideFields(int[])): Param_0.pcStateManager
    //#input(void pcProvideFields(int[])): Param_0.timeAquired
    //#input(void pcProvideFields(int[])): Param_0.timeLeased
    //#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/TaskLock]
    //#input(void pcProvideFields(int[])): __Descendant_Table[others]
    //#input(void pcProvideFields(int[])): __Dispatch_Table.pcProvideField(I)V
    //#input(void pcProvideFields(int[])): pcInheritedFieldCount
    //#pre[10] (void pcProvideFields(int[])): Param_1 != null
    //#pre[11] (void pcProvideFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcProvideFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/TaskLock
    //#pre[3] (void pcProvideFields(int[])): (soft) init'ed(Param_0.clientId)
    //#pre[4] (void pcProvideFields(int[])): (soft) init'ed(Param_0.id)
    //#pre[5] (void pcProvideFields(int[])): (soft) init'ed(Param_0.lastRun)
    //#pre[6] (void pcProvideFields(int[])): (soft) init'ed(Param_0.name)
    //#pre[7] (void pcProvideFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[8] (void pcProvideFields(int[])): (soft) init'ed(Param_0.timeAquired)
    //#pre[9] (void pcProvideFields(int[])): (soft) init'ed(Param_0.timeLeased)
    //#pre[12] (void pcProvideFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[13] (void pcProvideFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#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
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedIntField
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcProvideFields(int[])
    //#input(void pcCopyField(TaskLock, int)): Param_0
    //#input(void pcCopyField(TaskLock, int)): Param_1
    //#input(void pcCopyField(TaskLock, int)): Param_1.clientId
    //#input(void pcCopyField(TaskLock, int)): Param_1.id
    //#input(void pcCopyField(TaskLock, int)): Param_1.lastRun
    //#input(void pcCopyField(TaskLock, int)): Param_1.name
    //#input(void pcCopyField(TaskLock, int)): Param_1.timeAquired
    //#input(void pcCopyField(TaskLock, int)): Param_1.timeLeased
    //#input(void pcCopyField(TaskLock, int)): Param_2
    //#input(void pcCopyField(TaskLock, int)): pcInheritedFieldCount
    //#output(void pcCopyField(TaskLock, int)): Param_0.clientId
    //#output(void pcCopyField(TaskLock, int)): Param_0.id
    //#output(void pcCopyField(TaskLock, int)): Param_0.lastRun
    //#output(void pcCopyField(TaskLock, int)): Param_0.name
    //#output(void pcCopyField(TaskLock, int)): Param_0.timeAquired
    //#output(void pcCopyField(TaskLock, int)): Param_0.timeLeased
    //#pre[2] (void pcCopyField(TaskLock, int)): Param_1 != null
    //#pre[10] (void pcCopyField(TaskLock, int)): Param_2 - pcInheritedFieldCount in 0..5
    //#pre[17] (void pcCopyField(TaskLock, int)): init'ed(pcInheritedFieldCount)
    //#pre[3] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.clientId)
    //#pre[4] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.id)
    //#pre[5] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.lastRun)
    //#pre[6] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.name)
    //#pre[7] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.timeAquired)
    //#pre[8] (void pcCopyField(TaskLock, int)): (soft) init'ed(Param_1.timeLeased)
    //#post(void pcCopyField(TaskLock, int)): Param_0.clientId == One-of{Param_1.clientId, old Param_0.clientId}
    //#post(void pcCopyField(TaskLock, int)): Param_0.id == One-of{old Param_0.id, Param_1.id}
    //#post(void pcCopyField(TaskLock, int)): Param_0.lastRun == One-of{old Param_0.lastRun, Param_1.lastRun}
    //#post(void pcCopyField(TaskLock, int)): Param_0.name == One-of{old Param_0.name, Param_1.name}
    //#post(void pcCopyField(TaskLock, int)): Param_0.timeAquired == One-of{old Param_0.timeAquired, Param_1.timeAquired}
    //#post(void pcCopyField(TaskLock, int)): Param_0.timeLeased == One-of{old Param_0.timeLeased, Param_1.timeLeased}
    //#test_vector(void pcCopyField(TaskLock, int)): Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyField(TaskLock, int)
    //#TaskLock.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/TaskLock.pcCopyField: Param_2 - pcInheritedFieldCount in 0..5
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcCopyFields(Object, int[])
    //#    basic block: bb_2
    //#    assertion: Param_2[Local_4] - pcInheritedFieldCount in 0..5
    //#    callee: void org/apache/roller/weblogger/pojos/TaskLock.pcCopyField(TaskLock, int)
    //#    callee assertion: Param_2 - pcInheritedFieldCount in 0..5
    //#    callee file: TaskLock.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 
    //#    VN: Param_2[Local_4] - pcInheritedFieldCount
    //#    Expected: {0..5}
    //#    Bad: {-6_442_450_943..-1, 6..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.clientId
    //#input(void pcCopyFields(Object, int[])): Param_1.id
    //#input(void pcCopyFields(Object, int[])): Param_1.lastRun
    //#input(void pcCopyFields(Object, int[])): Param_1.name
    //#input(void pcCopyFields(Object, int[])): Param_1.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1.timeAquired
    //#input(void pcCopyFields(Object, int[])): Param_1.timeLeased
    //#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/TaskLock]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[others]
    //#input(void pcCopyFields(Object, int[])): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/TaskLock;I)V
    //#input(void pcCopyFields(Object, int[])): pcInheritedFieldCount
    //#output(void pcCopyFields(Object, int[])): Param_0.clientId
    //#output(void pcCopyFields(Object, int[])): Param_0.id
    //#output(void pcCopyFields(Object, int[])): Param_0.lastRun
    //#output(void pcCopyFields(Object, int[])): Param_0.name
    //#output(void pcCopyFields(Object, int[])): Param_0.timeAquired
    //#output(void pcCopyFields(Object, int[])): Param_0.timeLeased
    //#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/TaskLock
    //#pre[12] (void pcCopyFields(Object, int[])): Param_1.pcStateManager != null
    //#pre[15] (void pcCopyFields(Object, int[])): Param_2 != null
    //#pre[16] (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/TaskLock
    //#pre[8] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.clientId)
    //#pre[9] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.id)
    //#pre[10] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.lastRun)
    //#pre[11] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.name)
    //#pre[13] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.timeAquired)
    //#pre[14] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.timeLeased)
    //#pre[17] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_2[0..4_294_967_295])
    //#pre[24] (void pcCopyFields(Object, int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.clientId)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.id)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.lastRun)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.name)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.timeAquired)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.timeLeased)
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyFields(Object, int[])
    //#TaskLock.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.pcGetGenericContext()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.pcFetchObjectId()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsDeleted()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsDirty()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isNew()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsNew()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsPersistent()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcIsTransactional()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:serializing()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: bool org.apache.roller.weblogger.pojos.TaskLock.pcSerializing()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.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)
    //#TaskLock.java:: end of method: StateManager org.apache.roller.weblogger.pojos.TaskLock.pcGetStateManager()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.pcGetVersion()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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}
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcReplaceStateManager(StateManager)
    //#TaskLock.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(FieldSupplier, Object) always ends with an exception
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#TaskLock.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(Object) always ends with an exception
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsToObjectId(Object)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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_294
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#TaskLock.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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)
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.pcCopyKeyFieldsFromObjectId(Object)
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/TaskLock.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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$TaskLock
    //#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$TaskLock == old class$Lorg$apache$roller$weblogger$pojos$TaskLock
    //#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
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.pcNewObjectIdInstance(Object)
    //#TaskLock.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/TaskLock.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    method: Object pcNewObjectIdInstance()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#TaskLock.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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$TaskLock
    //#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$TaskLock == old class$Lorg$apache$roller$weblogger$pojos$TaskLock
    //#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
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.pcNewObjectIdInstance()
    //#TaskLock.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.TaskLock
    //#    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/TaskLock]
    //#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/TaskLock
    //#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}
    //#TaskLock.java:: end of method: Boolean org.apache.roller.weblogger.pojos.TaskLock.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)
    //#TaskLock.java:: end of method: Object org.apache.roller.weblogger.pojos.TaskLock.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)
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.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/TaskLock]
    //#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/TaskLock
    //#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
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.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/TaskLock]
    //#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/TaskLock
    //#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)
    //#TaskLock.java:: end of method: void org.apache.roller.weblogger.pojos.TaskLock.readObject(ObjectInputStream)
    //#TaskLock.java:: end of class: org.apache.roller.weblogger.pojos.TaskLock
