//# 6 errors, 1,783 messages
//#
/*
    //#WeblogTemplate.java:1:1: class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getId()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setId(String)
    //#WeblogTemplate.java:1:1: method: Weblog org.apache.roller.weblogger.pojos.WeblogTemplate.getWebsite()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setWebsite(Weblog)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getAction()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setAction(String)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getName()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setName(String)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getDescription()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setDescription(String)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getLink()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setLink(String)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getContents()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setContents(String)
    //#WeblogTemplate.java:1:1: method: Date org.apache.roller.weblogger.pojos.WeblogTemplate.getLastModified()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setLastModified(Date)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getTemplateLanguage()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setTemplateLanguage(String)
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isNavbar()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setNavbar(bool)
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isHidden()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setHidden(bool)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getDecoratorName()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setDecoratorName(String)
    //#WeblogTemplate.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getOutputContentType()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setOutputContentType(String)
    //#WeblogTemplate.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetEnhancementContractVersion()
    //#WeblogTemplate.java:1:1: method: Class org.apache.roller.weblogger.pojos.WeblogTemplate.class$(String)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcClearFields()
    //#WeblogTemplate.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewInstance(StateManager, Object, bool)
    //#WeblogTemplate.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewInstance(StateManager, bool)
    //#WeblogTemplate.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetManagedFieldCount()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceField(int)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceFields(int[])
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcProvideField(int)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcProvideFields(int[])
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyField(WeblogTemplate, int)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyFields(Object, int[])
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetGenericContext()
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcFetchObjectId()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsDeleted()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsDirty()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsNew()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsPersistent()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsTransactional()
    //#WeblogTemplate.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcSerializing()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcDirty(String)
    //#WeblogTemplate.java:1:1: method: StateManager org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetStateManager()
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetVersion()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceStateManager(StateManager)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewObjectIdInstance(Object)
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewObjectIdInstance()
    //#WeblogTemplate.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsDetached()
    //#WeblogTemplate.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetDetachedState()
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcSetDetachedState(Object)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.writeObject(ObjectOutputStream)
    //#WeblogTemplate.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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.Date;
import java.util.HashSet;
import java.util.Set;
import org.apache.commons.lang.builder.EqualsBuilder;
import org.apache.commons.lang.builder.HashCodeBuilder;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.util.UUIDGenerator;


/**
 * POJO that represents a single user defined template page.
 *
 * This template is different from the generic template because it also
 * contains a reference to the website it is part of.
 */
public class WeblogTemplate implements ThemeTemplate, Serializable {
    
    public static final long serialVersionUID = -613737191638263428L;
    public static final String DEFAULT_PAGE = "Weblog";
    
    private static Log log = LogFactory.getLog(WeblogTemplate.class);
    //#WeblogTemplate.java:44: method: org.apache.roller.weblogger.pojos.WeblogTemplate.org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#WeblogTemplate.java:44: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#input(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): java.lang.Boolean.TYPE
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getAction()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getContents()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDecorator()Lorg/apache/roller/weblogger/pojos/ThemeTemplate;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDecoratorName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getOutputContentType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getTemplateLanguage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.hashCode()I
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isCustom()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isHidden()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isNavbar()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isRequired()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcClearFields()V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogTemplate;I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDeleted()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDirty()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsNew()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsPersistent()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsTransactional()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__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.WeblogTemplate__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcProvideField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcProvideFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcSerializing()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetAction()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetContents()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetDecoratorName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetLastModified()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetOutputContentType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetTemplateLanguage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcisHidden()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcisNavbar()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetAction(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetContents(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetDecoratorName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetDescription(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetHidden(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetLastModified(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetLink(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetNavbar(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetOutputContentType(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetTemplateLanguage(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setAction(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setContents(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setDecoratorName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setHidden(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setLastModified(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setLink(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setNavbar(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setOutputContentType(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setTemplateLanguage(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Ljava$lang$String
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Ljava$util$Date
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogTemplate
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): log
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new Class[](WeblogTemplate__static_init#3) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes.length
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[10]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[11]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[12]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[8]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[9]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new HashSet(WeblogTemplate__static_init#1) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new String[](WeblogTemplate__static_init#2) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames.length
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[10]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[11]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[12]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[8]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[9]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new byte[](WeblogTemplate__static_init#4) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags.length
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[10]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[11]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[12]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[8]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[9]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): org/apache/roller/weblogger/pojos/Template.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes
    //#output(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): requiredTemplates
    //#new obj(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new Class[](WeblogTemplate__static_init#3)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new HashSet(WeblogTemplate__static_init#1)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new String[](WeblogTemplate__static_init#2)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new byte[](WeblogTemplate__static_init#4)
    //#presumption(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): init'ed(java.lang.Boolean.TYPE)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): org/apache/roller/weblogger/pojos/Template.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getAction()Ljava/lang/String; == &getAction
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getContents()Ljava/lang/String; == &getContents
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDecorator()Lorg/apache/roller/weblogger/pojos/ThemeTemplate; == &getDecorator
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDecoratorName()Ljava/lang/String; == &getDecoratorName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date; == &getLastModified
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getLink()Ljava/lang/String; == &getLink
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getOutputContentType()Ljava/lang/String; == &getOutputContentType
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getTemplateLanguage()Ljava/lang/String; == &getTemplateLanguage
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &getWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isCustom()Z == &isCustom
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isHidden()Z == &isHidden
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isNavbar()Z == &isNavbar
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.isRequired()Z == &isRequired
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcClearFields()V == &pcClearFields
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogTemplate;I)V == &pcCopyField
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V == &pcCopyFields
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V == &pcDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object; == &pcFetchObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object; == &pcGetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I == &pcGetEnhancementContractVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object; == &pcGetGenericContext
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager; == &pcGetStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object; == &pcGetVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDeleted()Z == &pcIsDeleted
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean; == &pcIsDetached
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsDirty()Z == &pcIsDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsNew()Z == &pcIsNew
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsPersistent()Z == &pcIsPersistent
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcIsTransactional()Z == &pcIsTransactional
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__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.WeblogTemplate__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcProvideField(I)V == &pcProvideField
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcProvideFields([I)V == &pcProvideFields
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceField(I)V == &pcReplaceField
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceFields([I)V == &pcReplaceFields
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V == &pcReplaceStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcSerializing()Z == &pcSerializing
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V == &pcSetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetAction()Ljava/lang/String; == &pcgetAction
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetContents()Ljava/lang/String; == &pcgetContents
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetDecoratorName()Ljava/lang/String; == &pcgetDecoratorName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetDescription()Ljava/lang/String; == &pcgetDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String; == &pcgetId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetLastModified()Ljava/util/Date; == &pcgetLastModified
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetLink()Ljava/lang/String; == &pcgetLink
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String; == &pcgetName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetOutputContentType()Ljava/lang/String; == &pcgetOutputContentType
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetTemplateLanguage()Ljava/lang/String; == &pcgetTemplateLanguage
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &pcgetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcisHidden()Z == &pcisHidden
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcisNavbar()Z == &pcisNavbar
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetAction(Ljava/lang/String;)V == &pcsetAction
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetContents(Ljava/lang/String;)V == &pcsetContents
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetDecoratorName(Ljava/lang/String;)V == &pcsetDecoratorName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetDescription(Ljava/lang/String;)V == &pcsetDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetHidden(Z)V == &pcsetHidden
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V == &pcsetId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetLastModified(Ljava/util/Date;)V == &pcsetLastModified
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetLink(Ljava/lang/String;)V == &pcsetLink
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V == &pcsetName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetNavbar(Z)V == &pcsetNavbar
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetOutputContentType(Ljava/lang/String;)V == &pcsetOutputContentType
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetTemplateLanguage(Ljava/lang/String;)V == &pcsetTemplateLanguage
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &pcsetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V == &readObject
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setAction(Ljava/lang/String;)V == &setAction
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setContents(Ljava/lang/String;)V == &setContents
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setDecoratorName(Ljava/lang/String;)V == &setDecoratorName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V == &setDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setHidden(Z)V == &setHidden
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setLastModified(Ljava/util/Date;)V == &setLastModified
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setLink(Ljava/lang/String;)V == &setLink
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setNavbar(Z)V == &setNavbar
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setOutputContentType(Ljava/lang/String;)V == &setOutputContentType
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setTemplateLanguage(Ljava/lang/String;)V == &setTemplateLanguage
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &setWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V == &writeObject
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Ljava$lang$String == undefined
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Ljava$lang$String == null
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Ljava$util$Date == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogTemplate == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): init'ed(log)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags == &new byte[](WeblogTemplate__static_init#4)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames == &new String[](WeblogTemplate__static_init#2)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes == &new Class[](WeblogTemplate__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): requiredTemplates == &new HashSet(WeblogTemplate__static_init#1)
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new Class[](WeblogTemplate__static_init#3) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new HashSet(WeblogTemplate__static_init#1) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new String[](WeblogTemplate__static_init#2) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): new byte[](WeblogTemplate__static_init#4) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes.length == 13
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames.length == 13
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags.length == 13
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[0] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[10] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[11] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[1] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[2] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[3] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[5] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[7] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[8] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[12] == &Lorg.apache.roller.weblogger.pojos.Weblog.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[4] == java.lang.Boolean.TYPE
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): (soft) init'ed(pcFieldTypes[4])
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[9] == pcFieldTypes[4]
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldTypes[6] == &Ljava.util.Date.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[0] == &"action"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[10] == &"outputContentType"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[11] == &"templateLanguage"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[12] == &"website"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[1] == &"contents"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[2] == &"decoratorName"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[3] == &"description"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[4] == &"hidden"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[5] == &"id"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[6] == &"lastModified"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[7] == &"link"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[8] == &"name"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldNames[9] == &"navbar"
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[0] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[10] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[11] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[12] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[1] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[2] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[3] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[4] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[5] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[6] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[7] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[8] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): pcFieldFlags[9] == 26
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): Effects-of-calling:java.lang.NoClassDefFoundError
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogTemplate__static_init): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    private static Set requiredTemplates = null;
    
    // attributes
    private String id = UUIDGenerator.generateUUID();
    //#WeblogTemplate.java:48: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void org.apache.roller.weblogger.pojos.WeblogTemplate()
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    private String  action = null;
    private String  name = null;
    private String  description = null;
    private String  link = null;
    private String  contents = null;
    private Date    lastModified = null;
    private String  templateLanguage = null;
    private boolean hidden = false;
    private boolean navbar = false;
    private String  decoratorName = null;
    private String  outputContentType = null;
    
    // associations
    private Weblog weblog = null;
    
    
    static {
        requiredTemplates = new HashSet();
        requiredTemplates.add("Weblog");
        requiredTemplates.add("_day");
    }
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_3
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_4
    //#    live edge: bb_4-->bb_5
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_6
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_7
    //#    live edge: bb_7-->bb_8
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_9
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_10
    //#    live edge: bb_10-->bb_11
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_12
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_13
    //#    live edge: bb_13-->bb_14
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_15
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Date.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_16
    //#    live edge: bb_16-->bb_17
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/util/Date.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_18
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_19
    //#    live edge: bb_19-->bb_20
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_21
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_22
    //#    live edge: bb_22-->bb_23
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_24
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_25
    //#    live edge: bb_25-->bb_26
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_27
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_28
    //#    live edge: bb_28-->bb_29
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_30
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/Weblog.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_31
    //#    live edge: bb_31-->bb_32
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/Weblog.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_33
    //#WeblogTemplate.java:69: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogTemplate.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    from bb: bb_34
    //#    live edge: bb_34-->bb_35
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:69: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/WeblogTemplate.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    dead bb: bb_36
    //#WeblogTemplate.java:69: ?use of default init
    //#    init'ed(pcPCSuperclass)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    basic block: bb_37
    //#    assertion: init'ed(pcPCSuperclass)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#WeblogTemplate.java:69: 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.WeblogTemplate
    //#    method: org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    //#    unanalyzed callee: void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#WeblogTemplate.java:69: end of method: org.apache.roller.weblogger.pojos.WeblogTemplate.org.apache.roller.weblogger.pojos.WeblogTemplate__static_init
    
    
    public WeblogTemplate() {}
    //#WeblogTemplate.java:72: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.org.apache.roller.weblogger.pojos.WeblogTemplate()
    //#input(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.action
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.contents
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.decoratorName
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.description
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.hidden
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.id
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.lastModified
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.link
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.name
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.navbar
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.outputContentType
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.templateLanguage
    //#output(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.weblog
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.action == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.contents == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.decoratorName == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.description == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.lastModified == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.link == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.name == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.outputContentType == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.templateLanguage == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.weblog == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.hidden == 0
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): this.navbar == 0
    //#post(void org.apache.roller.weblogger.pojos.WeblogTemplate()): init'ed(this.id)
    //#WeblogTemplate.java:72: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.org.apache.roller.weblogger.pojos.WeblogTemplate()
    
    
    public ThemeTemplate getDecorator() {
        if(decoratorName != null && !id.equals(decoratorName)) {
    //#WeblogTemplate.java:76: method: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTemplate.getDecorator()
    //#input(ThemeTemplate getDecorator()): "Error getting decorator["._tainted
    //#input(ThemeTemplate getDecorator()): "] "._tainted
    //#input(ThemeTemplate getDecorator()): "for template "._tainted
    //#input(ThemeTemplate getDecorator()): log
    //#input(ThemeTemplate getDecorator()): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[org/apache/roller/weblogger/pojos/Weblog]
    //#input(ThemeTemplate getDecorator()): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[others]
    //#input(ThemeTemplate getDecorator()): org/apache/roller/weblogger/pojos/Weblog.__Dispatch_Table.getTheme()Lorg/apache/roller/weblogger/pojos/WeblogTheme;
    //#input(ThemeTemplate getDecorator()): this
    //#input(ThemeTemplate getDecorator()): this.decoratorName
    //#input(ThemeTemplate getDecorator()): this.decoratorName._tainted
    //#input(ThemeTemplate getDecorator()): this.id
    //#input(ThemeTemplate getDecorator()): this.id._tainted
    //#input(ThemeTemplate getDecorator()): this.weblog
    //#input(ThemeTemplate getDecorator()): this.weblog.__Tag
    //#output(ThemeTemplate getDecorator()): return_value
    //#pre[3] (ThemeTemplate getDecorator()): init'ed(this.decoratorName)
    //#pre[1] (ThemeTemplate getDecorator()): (soft) log != null
    //#pre[6] (ThemeTemplate getDecorator()): (soft) this.id != null
    //#pre[8] (ThemeTemplate getDecorator()): (soft) this.weblog != null
    //#pre[9] (ThemeTemplate getDecorator()): (soft) this.weblog.__Tag == org/apache/roller/weblogger/pojos/Weblog
    //#presumption(ThemeTemplate getDecorator()): getTheme(...)@78 != null
    //#post(ThemeTemplate getDecorator()): init'ed(return_value)
    //#test_vector(ThemeTemplate getDecorator()): this.decoratorName: Addr_Set{null}, Inverse{null}
    //#test_vector(ThemeTemplate getDecorator()): java.lang.String:equals(...)@76: {1}, {0}
            try {
                return weblog.getTheme().getTemplateByName(decoratorName);
    //#WeblogTemplate.java:78: Warning: method not available
    //#    -- call on WeblogTheme getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: ThemeTemplate getDecorator()
    //#    unanalyzed callee: WeblogTheme getTheme()
    //#WeblogTemplate.java:78: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: ThemeTemplate getDecorator()
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
            } catch (WebloggerException ex) {
                log.error("Error getting decorator["+decoratorName+"] "+
    //#WeblogTemplate.java:80: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: ThemeTemplate getDecorator()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
                        "for template "+id);
            }
        }
        return null;
    //#WeblogTemplate.java:84: end of method: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTemplate.getDecorator()
    }
    
    
    public String getId() {
        return this.id;
    //#WeblogTemplate.java:89: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    //#WeblogTemplate.java:89: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetId()
    }
    
    public void setId( String id ) {
        this.id = id;
    //#WeblogTemplate.java:93: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    }
    //#WeblogTemplate.java:94: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetId(String)
    
    
    public Weblog getWebsite() {
        return this.weblog;
    //#WeblogTemplate.java:98: method: Weblog org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetWebsite()
    //#input(Weblog pcgetWebsite()): this
    //#input(Weblog pcgetWebsite()): this.weblog
    //#output(Weblog pcgetWebsite()): return_value
    //#pre[2] (Weblog pcgetWebsite()): init'ed(this.weblog)
    //#post(Weblog pcgetWebsite()): return_value == this.weblog
    //#post(Weblog pcgetWebsite()): init'ed(return_value)
    //#WeblogTemplate.java:98: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetWebsite()
    }
    
    public void setWebsite( Weblog website ) {
        this.weblog = website;
    //#WeblogTemplate.java:102: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetWebsite(Weblog)
    //#input(void pcsetWebsite(Weblog)): Param_1
    //#input(void pcsetWebsite(Weblog)): this
    //#output(void pcsetWebsite(Weblog)): this.weblog
    //#post(void pcsetWebsite(Weblog)): this.weblog == Param_1
    //#post(void pcsetWebsite(Weblog)): init'ed(this.weblog)
    }
    //#WeblogTemplate.java:103: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetWebsite(Weblog)
    
    
    public String getAction() {
        return action;
    //#WeblogTemplate.java:107: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetAction()
    //#input(String pcgetAction()): this
    //#input(String pcgetAction()): this.action
    //#output(String pcgetAction()): return_value
    //#pre[2] (String pcgetAction()): init'ed(this.action)
    //#post(String pcgetAction()): return_value == this.action
    //#post(String pcgetAction()): init'ed(return_value)
    //#WeblogTemplate.java:107: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetAction()
    }

    public void setAction(String action) {
        this.action = action;
    //#WeblogTemplate.java:111: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetAction(String)
    //#input(void pcsetAction(String)): Param_1
    //#input(void pcsetAction(String)): this
    //#output(void pcsetAction(String)): this.action
    //#post(void pcsetAction(String)): this.action == Param_1
    //#post(void pcsetAction(String)): init'ed(this.action)
    }
    //#WeblogTemplate.java:112: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetAction(String)
    
    
    public String getName() {
        return this.name;
    //#WeblogTemplate.java:116: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    //#WeblogTemplate.java:116: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetName()
    }
    
    public void setName( String name ) {
        this.name = name;
    //#WeblogTemplate.java:120: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    }
    //#WeblogTemplate.java:121: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetName(String)
    
    
    public String getDescription() {
        return this.description;
    //#WeblogTemplate.java:125: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetDescription()
    //#input(String pcgetDescription()): this
    //#input(String pcgetDescription()): this.description
    //#output(String pcgetDescription()): return_value
    //#pre[2] (String pcgetDescription()): init'ed(this.description)
    //#post(String pcgetDescription()): return_value == this.description
    //#post(String pcgetDescription()): init'ed(return_value)
    //#WeblogTemplate.java:125: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetDescription()
    }
    
    public void setDescription( String description ) {
        this.description = description;
    //#WeblogTemplate.java:129: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetDescription(String)
    //#input(void pcsetDescription(String)): Param_1
    //#input(void pcsetDescription(String)): this
    //#output(void pcsetDescription(String)): this.description
    //#post(void pcsetDescription(String)): this.description == Param_1
    //#post(void pcsetDescription(String)): init'ed(this.description)
    }
    //#WeblogTemplate.java:130: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetDescription(String)
    
    
    public String getLink() {
        return this.link;
    //#WeblogTemplate.java:134: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetLink()
    //#input(String pcgetLink()): this
    //#input(String pcgetLink()): this.link
    //#output(String pcgetLink()): return_value
    //#pre[2] (String pcgetLink()): init'ed(this.link)
    //#post(String pcgetLink()): return_value == this.link
    //#post(String pcgetLink()): init'ed(return_value)
    //#WeblogTemplate.java:134: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetLink()
    }
    
    public void setLink( String link ) {
        this.link = link;
    //#WeblogTemplate.java:138: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetLink(String)
    //#input(void pcsetLink(String)): Param_1
    //#input(void pcsetLink(String)): this
    //#output(void pcsetLink(String)): this.link
    //#post(void pcsetLink(String)): this.link == Param_1
    //#post(void pcsetLink(String)): init'ed(this.link)
    }
    //#WeblogTemplate.java:139: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetLink(String)
    
    
    public String getContents() {
        return this.contents;
    //#WeblogTemplate.java:143: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetContents()
    //#input(String pcgetContents()): this
    //#input(String pcgetContents()): this.contents
    //#output(String pcgetContents()): return_value
    //#pre[2] (String pcgetContents()): init'ed(this.contents)
    //#post(String pcgetContents()): return_value == this.contents
    //#post(String pcgetContents()): init'ed(return_value)
    //#WeblogTemplate.java:143: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetContents()
    }
    
    public void setContents( String template ) {
        this.contents = template;
    //#WeblogTemplate.java:147: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetContents(String)
    //#input(void pcsetContents(String)): Param_1
    //#input(void pcsetContents(String)): this
    //#output(void pcsetContents(String)): this.contents
    //#post(void pcsetContents(String)): this.contents == Param_1
    //#post(void pcsetContents(String)): init'ed(this.contents)
    }
    //#WeblogTemplate.java:148: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetContents(String)
    
    
    public Date getLastModified() {
        return lastModified;
    //#WeblogTemplate.java:152: method: Date org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetLastModified()
    //#input(Date pcgetLastModified()): this
    //#input(Date pcgetLastModified()): this.lastModified
    //#output(Date pcgetLastModified()): return_value
    //#pre[2] (Date pcgetLastModified()): init'ed(this.lastModified)
    //#post(Date pcgetLastModified()): return_value == this.lastModified
    //#post(Date pcgetLastModified()): init'ed(return_value)
    //#WeblogTemplate.java:152: end of method: Date org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetLastModified()
    }
    
    public void setLastModified(final Date newtime ) {
        lastModified = newtime;
    //#WeblogTemplate.java:156: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetLastModified(Date)
    //#input(void pcsetLastModified(Date)): Param_1
    //#input(void pcsetLastModified(Date)): this
    //#output(void pcsetLastModified(Date)): this.lastModified
    //#post(void pcsetLastModified(Date)): this.lastModified == Param_1
    //#post(void pcsetLastModified(Date)): init'ed(this.lastModified)
    }
    //#WeblogTemplate.java:157: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetLastModified(Date)
    
    
    public String getTemplateLanguage() {
        return templateLanguage;
    //#WeblogTemplate.java:161: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetTemplateLanguage()
    //#input(String pcgetTemplateLanguage()): this
    //#input(String pcgetTemplateLanguage()): this.templateLanguage
    //#output(String pcgetTemplateLanguage()): return_value
    //#pre[2] (String pcgetTemplateLanguage()): init'ed(this.templateLanguage)
    //#post(String pcgetTemplateLanguage()): return_value == this.templateLanguage
    //#post(String pcgetTemplateLanguage()): init'ed(return_value)
    //#WeblogTemplate.java:161: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetTemplateLanguage()
    }

    public void setTemplateLanguage(String templateLanguage) {
        this.templateLanguage = templateLanguage;
    //#WeblogTemplate.java:165: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetTemplateLanguage(String)
    //#input(void pcsetTemplateLanguage(String)): Param_1
    //#input(void pcsetTemplateLanguage(String)): this
    //#output(void pcsetTemplateLanguage(String)): this.templateLanguage
    //#post(void pcsetTemplateLanguage(String)): this.templateLanguage == Param_1
    //#post(void pcsetTemplateLanguage(String)): init'ed(this.templateLanguage)
    }
    //#WeblogTemplate.java:166: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetTemplateLanguage(String)
    
    
    public boolean isNavbar() {
        return navbar;
    //#WeblogTemplate.java:170: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcisNavbar()
    //#input(bool pcisNavbar()): this
    //#input(bool pcisNavbar()): this.navbar
    //#output(bool pcisNavbar()): return_value
    //#pre[2] (bool pcisNavbar()): init'ed(this.navbar)
    //#post(bool pcisNavbar()): return_value == this.navbar
    //#post(bool pcisNavbar()): init'ed(return_value)
    //#WeblogTemplate.java:170: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcisNavbar()
    }

    public void setNavbar(boolean navbar) {
        this.navbar = navbar;
    //#WeblogTemplate.java:174: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetNavbar(bool)
    //#input(void pcsetNavbar(bool)): Param_1
    //#input(void pcsetNavbar(bool)): this
    //#output(void pcsetNavbar(bool)): this.navbar
    //#post(void pcsetNavbar(bool)): this.navbar == Param_1
    //#post(void pcsetNavbar(bool)): init'ed(this.navbar)
    }
    //#WeblogTemplate.java:175: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetNavbar(bool)
    
    
    public boolean isHidden() {
        return hidden;
    //#WeblogTemplate.java:179: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcisHidden()
    //#input(bool pcisHidden()): this
    //#input(bool pcisHidden()): this.hidden
    //#output(bool pcisHidden()): return_value
    //#pre[2] (bool pcisHidden()): init'ed(this.hidden)
    //#post(bool pcisHidden()): return_value == this.hidden
    //#post(bool pcisHidden()): init'ed(return_value)
    //#WeblogTemplate.java:179: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcisHidden()
    }

    public void setHidden(boolean isHidden) {
        this.hidden = isHidden;
    //#WeblogTemplate.java:183: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetHidden(bool)
    //#input(void pcsetHidden(bool)): Param_1
    //#input(void pcsetHidden(bool)): this
    //#output(void pcsetHidden(bool)): this.hidden
    //#post(void pcsetHidden(bool)): this.hidden == Param_1
    //#post(void pcsetHidden(bool)): init'ed(this.hidden)
    }
    //#WeblogTemplate.java:184: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetHidden(bool)
        
    
    public String getDecoratorName() {
        return decoratorName;
    //#WeblogTemplate.java:188: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetDecoratorName()
    //#input(String pcgetDecoratorName()): this
    //#input(String pcgetDecoratorName()): this.decoratorName
    //#output(String pcgetDecoratorName()): return_value
    //#pre[2] (String pcgetDecoratorName()): init'ed(this.decoratorName)
    //#post(String pcgetDecoratorName()): return_value == this.decoratorName
    //#post(String pcgetDecoratorName()): init'ed(return_value)
    //#WeblogTemplate.java:188: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetDecoratorName()
    }

    public void setDecoratorName(String decorator) {
        this.decoratorName = decorator;
    //#WeblogTemplate.java:192: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetDecoratorName(String)
    //#input(void pcsetDecoratorName(String)): Param_1
    //#input(void pcsetDecoratorName(String)): this
    //#output(void pcsetDecoratorName(String)): this.decoratorName
    //#post(void pcsetDecoratorName(String)): this.decoratorName == Param_1
    //#post(void pcsetDecoratorName(String)): init'ed(this.decoratorName)
    }
    //#WeblogTemplate.java:193: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetDecoratorName(String)
    
    
    /** 
     * Content-type rendered by template or null for auto-detection by link extension.
     */
    public String getOutputContentType() {
        return outputContentType;
    //#WeblogTemplate.java:200: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetOutputContentType()
    //#input(String pcgetOutputContentType()): this
    //#input(String pcgetOutputContentType()): this.outputContentType
    //#output(String pcgetOutputContentType()): return_value
    //#pre[2] (String pcgetOutputContentType()): init'ed(this.outputContentType)
    //#post(String pcgetOutputContentType()): return_value == this.outputContentType
    //#post(String pcgetOutputContentType()): init'ed(return_value)
    //#WeblogTemplate.java:200: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.pcgetOutputContentType()
    }
    
    public void setOutputContentType(String outputContentType) {
        this.outputContentType = outputContentType;
    //#WeblogTemplate.java:204: method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetOutputContentType(String)
    //#input(void pcsetOutputContentType(String)): Param_1
    //#input(void pcsetOutputContentType(String)): this
    //#output(void pcsetOutputContentType(String)): this.outputContentType
    //#post(void pcsetOutputContentType(String)): this.outputContentType == Param_1
    //#post(void pcsetOutputContentType(String)): init'ed(this.outputContentType)
    }
    //#WeblogTemplate.java:205: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcsetOutputContentType(String)
    
    
    /**
     * Determine if this WeblogTemplate is required or not.
     */
    public boolean isRequired() {
       /*
        * this is kind of hacky right now, but it's like that so we can be
        * reasonably flexible while we migrate old blogs which may have some
        * pretty strange customizations.
        *
        * my main goal starting now is to prevent further deviations from the
        * standardized templates as we move forward.
        *
        * eventually, the required flag should probably be stored in the db
        * and possibly applicable to any template.
        */
        return (requiredTemplates.contains(this.name) || "Weblog".equals(this.link));
    //#WeblogTemplate.java:223: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isRequired()
    //#input(bool isRequired()): requiredTemplates
    //#input(bool isRequired()): this
    //#input(bool isRequired()): this.link
    //#input(bool isRequired()): this.name
    //#output(bool isRequired()): return_value
    //#pre[1] (bool isRequired()): requiredTemplates != null
    //#pre[4] (bool isRequired()): init'ed(this.name)
    //#pre[3] (bool isRequired()): (soft) init'ed(this.link)
    //#post(bool isRequired()): init'ed(return_value)
    //#WeblogTemplate.java:223: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isRequired()
    }
    
    
    /**
     * A convenience method for testing if this template represents a 'custom'
     * template, meaning a template with action = ACTION_CUSTOM.
     */
    public boolean isCustom() {
        return ACTION_CUSTOM.equals(getAction()) && !isRequired();
    //#WeblogTemplate.java:232: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isCustom()
    //#input(bool isCustom()): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(bool isCustom()): __Descendant_Table[others]
    //#input(bool isCustom()): __Dispatch_Table.getAction()Ljava/lang/String;
    //#input(bool isCustom()): __Dispatch_Table.isRequired()Z
    //#input(bool isCustom()): pcInheritedFieldCount
    //#input(bool isCustom()): requiredTemplates
    //#input(bool isCustom()): this
    //#input(bool isCustom()): this.__Tag
    //#input(bool isCustom()): this.action
    //#input(bool isCustom()): this.link
    //#input(bool isCustom()): this.name
    //#input(bool isCustom()): this.pcStateManager
    //#output(bool isCustom()): return_value
    //#pre[4] (bool isCustom()): this.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#pre[5] (bool isCustom()): init'ed(this.action)
    //#pre[8] (bool isCustom()): init'ed(this.pcStateManager)
    //#pre[1] (bool isCustom()): (soft) init'ed(pcInheritedFieldCount)
    //#pre[2] (bool isCustom()): (soft) requiredTemplates != null
    //#pre[6] (bool isCustom()): (soft) init'ed(this.link)
    //#pre[7] (bool isCustom()): (soft) init'ed(this.name)
    //#post(bool isCustom()): init'ed(return_value)
    //#unanalyzed(bool isCustom()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(bool isCustom()): Effects-of-calling:java.util.Set:contains
    //#unanalyzed(bool isCustom()): Effects-of-calling:java.lang.String:equals
    //#WeblogTemplate.java:232: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isCustom()
    }
    
    
    //------------------------------------------------------- Good citizenship

    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#WeblogTemplate.java:239: method: String org.apache.roller.weblogger.pojos.WeblogTemplate.toString()
    //#input(String toString()): ", "._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): "}"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.decoratorName
    //#input(String toString()): this.decoratorName._tainted
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.link
    //#input(String toString()): this.link._tainted
    //#input(String toString()): this.name
    //#input(String toString()): this.name._tainted
    //#input(String toString()): this.templateLanguage
    //#input(String toString()): this.templateLanguage._tainted
    //#output(String toString()): java.lang.StringBuffer:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuffer:toString(...)
    //#pre[2] (String toString()): init'ed(this.decoratorName)
    //#pre[5] (String toString()): init'ed(this.id)
    //#pre[8] (String toString()): init'ed(this.link)
    //#pre[11] (String toString()): init'ed(this.name)
    //#pre[13] (String toString()): init'ed(this.templateLanguage)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.templateLanguage._tainted | this.decoratorName._tainted | this.link._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.link);
        buf.append(", ").append(this.decoratorName);
        buf.append(", ").append(this.templateLanguage);
        buf.append("}");
        return buf.toString();
    //#WeblogTemplate.java:247: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.toString()
    }

    public boolean equals(Object other) {
        if (other == this) return true;
    //#WeblogTemplate.java:251: method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#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)): other.weblog
    //#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
    //#input(bool equals(Object)): this.weblog
    //#output(bool equals(Object)): return_value
    //#pre[6] (bool equals(Object)): (soft) init'ed(other.name)
    //#pre[7] (bool equals(Object)): (soft) init'ed(other.pcStateManager)
    //#pre[8] (bool equals(Object)): (soft) init'ed(other.weblog)
    //#pre[9] (bool equals(Object)): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#pre[11] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#pre[12] (bool equals(Object)): (soft) init'ed(this.name)
    //#pre[13] (bool equals(Object)): (soft) init'ed(this.pcStateManager)
    //#pre[14] (bool equals(Object)): (soft) init'ed(this.weblog)
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@254 != null
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@254 != null
    //#post(bool equals(Object)): init'ed(return_value)
    //#unanalyzed(bool equals(Object)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(bool equals(Object)): other == this: {0}, {1}
        if (other instanceof WeblogTemplate != true) return false;
        WeblogTemplate o = (WeblogTemplate)other;
        return new EqualsBuilder()
    //#WeblogTemplate.java:254: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.EqualsBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: bool equals(Object)
    //#    unanalyzed callee: void org.apache.commons.lang.builder.EqualsBuilder()
    //#WeblogTemplate.java:254: Warning: method not available
    //#    -- call on EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: bool equals(Object)
    //#    unanalyzed callee: EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#WeblogTemplate.java:254: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#WeblogTemplate.java:254: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.equals(Object)
            .append(name, o.getName()) 
            .append(getWebsite(), o.getWebsite()) 
            .isEquals();
    }
    
    public int hashCode() { 
        return new HashCodeBuilder()
    //#WeblogTemplate.java:261: method: int org.apache.roller.weblogger.pojos.WeblogTemplate.hashCode()
    //#WeblogTemplate.java:261: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.HashCodeBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: int hashCode()
    //#    unanalyzed callee: void org.apache.commons.lang.builder.HashCodeBuilder()
    //#WeblogTemplate.java:261: Warning: method not available
    //#    -- call on HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: int hashCode()
    //#    unanalyzed callee: HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#WeblogTemplate.java:261: Warning: method not available
    //#    -- call on int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: int hashCode()
    //#    unanalyzed callee: int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#input(int hashCode()): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(int hashCode()): __Descendant_Table[others]
    //#input(int hashCode()): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(int hashCode()): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(int hashCode()): pcInheritedFieldCount
    //#input(int hashCode()): this
    //#input(int hashCode()): this.__Tag
    //#input(int hashCode()): this.name
    //#input(int hashCode()): this.pcStateManager
    //#input(int hashCode()): this.weblog
    //#output(int hashCode()): return_value
    //#pre[3] (int hashCode()): this.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#pre[4] (int hashCode()): init'ed(this.name)
    //#pre[5] (int hashCode()): init'ed(this.pcStateManager)
    //#pre[6] (int hashCode()): init'ed(this.weblog)
    //#pre[1] (int hashCode()): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@261 != null
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@261 != null
    //#post(int hashCode()): init'ed(return_value)
    //#unanalyzed(int hashCode()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#WeblogTemplate.java:261: end of method: int org.apache.roller.weblogger.pojos.WeblogTemplate.hashCode()
            .append(getName())
            .append(getWebsite())
            .toHashCode();
    }
    
}
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getId()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getId()): Param_0
    //#input(String getId()): Param_0.id
    //#input(String getId()): Param_0.pcStateManager
    //#input(String getId()): pcInheritedFieldCount
    //#output(String getId()): return_value
    //#pre[2] (String getId()): init'ed(Param_0.id)
    //#pre[3] (String getId()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getId()): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(String getId()): return_value == Param_0.id
    //#post(String getId()): init'ed(return_value)
    //#test_vector(String getId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getId()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setId(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setId(String)): Param_0
    //#input(void setId(String)): Param_0.id
    //#input(void setId(String)): Param_0.pcStateManager
    //#input(void setId(String)): Param_1
    //#input(void setId(String)): pcInheritedFieldCount
    //#output(void setId(String)): Param_0.id
    //#pre[2] (void setId(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setId(String)): (soft) init'ed(Param_0.id)
    //#pre[5] (void setId(String)): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(void setId(String)): Param_0.id == One-of{Param_1, old Param_0.id}
    //#post(void setId(String)): (soft) init'ed(Param_0.id)
    //#test_vector(void setId(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setId(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: Weblog getWebsite()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Weblog getWebsite()): Param_0
    //#input(Weblog getWebsite()): Param_0.pcStateManager
    //#input(Weblog getWebsite()): Param_0.weblog
    //#input(Weblog getWebsite()): pcInheritedFieldCount
    //#output(Weblog getWebsite()): return_value
    //#pre[2] (Weblog getWebsite()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Weblog getWebsite()): init'ed(Param_0.weblog)
    //#pre[4] (Weblog getWebsite()): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#post(Weblog getWebsite()): return_value == Param_0.weblog
    //#post(Weblog getWebsite()): init'ed(return_value)
    //#test_vector(Weblog getWebsite()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogTemplate.getWebsite()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setWebsite(Weblog)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setWebsite(Weblog)): Param_0
    //#input(void setWebsite(Weblog)): Param_0.pcStateManager
    //#input(void setWebsite(Weblog)): Param_0.weblog
    //#input(void setWebsite(Weblog)): Param_1
    //#input(void setWebsite(Weblog)): pcInheritedFieldCount
    //#output(void setWebsite(Weblog)): Param_0.weblog
    //#pre[2] (void setWebsite(Weblog)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setWebsite(Weblog)): (soft) init'ed(Param_0.weblog)
    //#pre[5] (void setWebsite(Weblog)): (soft) pcInheritedFieldCount <= 4_294_967_283
    //#post(void setWebsite(Weblog)): Param_0.weblog == One-of{Param_1, old Param_0.weblog}
    //#post(void setWebsite(Weblog)): (soft) init'ed(Param_0.weblog)
    //#test_vector(void setWebsite(Weblog)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setWebsite(Weblog)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getAction()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getAction()): Param_0
    //#input(String getAction()): Param_0.action
    //#input(String getAction()): Param_0.pcStateManager
    //#input(String getAction()): pcInheritedFieldCount
    //#output(String getAction()): return_value
    //#pre[2] (String getAction()): init'ed(Param_0.action)
    //#pre[3] (String getAction()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getAction()): (soft) init'ed(pcInheritedFieldCount)
    //#post(String getAction()): return_value == Param_0.action
    //#post(String getAction()): init'ed(return_value)
    //#test_vector(String getAction()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getAction()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setAction(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setAction(String)): Param_0
    //#input(void setAction(String)): Param_0.action
    //#input(void setAction(String)): Param_0.pcStateManager
    //#input(void setAction(String)): Param_1
    //#input(void setAction(String)): pcInheritedFieldCount
    //#output(void setAction(String)): Param_0.action
    //#pre[2] (void setAction(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setAction(String)): (soft) init'ed(Param_0.action)
    //#pre[5] (void setAction(String)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void setAction(String)): Param_0.action == One-of{Param_1, old Param_0.action}
    //#post(void setAction(String)): (soft) init'ed(Param_0.action)
    //#test_vector(void setAction(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setAction(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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_287
    //#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}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getName()
    //#WeblogTemplate.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.WeblogTemplate
    //#    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_287
    //#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}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setName(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getDescription()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getDescription()): Param_0
    //#input(String getDescription()): Param_0.description
    //#input(String getDescription()): Param_0.pcStateManager
    //#input(String getDescription()): pcInheritedFieldCount
    //#output(String getDescription()): return_value
    //#pre[2] (String getDescription()): init'ed(Param_0.description)
    //#pre[3] (String getDescription()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getDescription()): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(String getDescription()): return_value == Param_0.description
    //#post(String getDescription()): init'ed(return_value)
    //#test_vector(String getDescription()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getDescription()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setDescription(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setDescription(String)): Param_0
    //#input(void setDescription(String)): Param_0.description
    //#input(void setDescription(String)): Param_0.pcStateManager
    //#input(void setDescription(String)): Param_1
    //#input(void setDescription(String)): pcInheritedFieldCount
    //#output(void setDescription(String)): Param_0.description
    //#pre[2] (void setDescription(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setDescription(String)): (soft) init'ed(Param_0.description)
    //#pre[5] (void setDescription(String)): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(void setDescription(String)): Param_0.description == One-of{Param_1, old Param_0.description}
    //#post(void setDescription(String)): (soft) init'ed(Param_0.description)
    //#test_vector(void setDescription(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setDescription(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getLink()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getLink()): Param_0
    //#input(String getLink()): Param_0.link
    //#input(String getLink()): Param_0.pcStateManager
    //#input(String getLink()): pcInheritedFieldCount
    //#output(String getLink()): return_value
    //#pre[2] (String getLink()): init'ed(Param_0.link)
    //#pre[3] (String getLink()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getLink()): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(String getLink()): return_value == Param_0.link
    //#post(String getLink()): init'ed(return_value)
    //#test_vector(String getLink()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getLink()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setLink(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setLink(String)): Param_0
    //#input(void setLink(String)): Param_0.link
    //#input(void setLink(String)): Param_0.pcStateManager
    //#input(void setLink(String)): Param_1
    //#input(void setLink(String)): pcInheritedFieldCount
    //#output(void setLink(String)): Param_0.link
    //#pre[2] (void setLink(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setLink(String)): (soft) init'ed(Param_0.link)
    //#pre[5] (void setLink(String)): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(void setLink(String)): Param_0.link == One-of{Param_1, old Param_0.link}
    //#post(void setLink(String)): (soft) init'ed(Param_0.link)
    //#test_vector(void setLink(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setLink(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getContents()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getContents()): Param_0
    //#input(String getContents()): Param_0.contents
    //#input(String getContents()): Param_0.pcStateManager
    //#input(String getContents()): pcInheritedFieldCount
    //#output(String getContents()): return_value
    //#pre[2] (String getContents()): init'ed(Param_0.contents)
    //#pre[3] (String getContents()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getContents()): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(String getContents()): return_value == Param_0.contents
    //#post(String getContents()): init'ed(return_value)
    //#test_vector(String getContents()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getContents()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setContents(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setContents(String)): Param_0
    //#input(void setContents(String)): Param_0.contents
    //#input(void setContents(String)): Param_0.pcStateManager
    //#input(void setContents(String)): Param_1
    //#input(void setContents(String)): pcInheritedFieldCount
    //#output(void setContents(String)): Param_0.contents
    //#pre[2] (void setContents(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setContents(String)): (soft) init'ed(Param_0.contents)
    //#pre[5] (void setContents(String)): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(void setContents(String)): Param_0.contents == One-of{Param_1, old Param_0.contents}
    //#post(void setContents(String)): (soft) init'ed(Param_0.contents)
    //#test_vector(void setContents(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setContents(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: Date getLastModified()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Date getLastModified()): Param_0
    //#input(Date getLastModified()): Param_0.lastModified
    //#input(Date getLastModified()): Param_0.pcStateManager
    //#input(Date getLastModified()): pcInheritedFieldCount
    //#output(Date getLastModified()): return_value
    //#pre[2] (Date getLastModified()): init'ed(Param_0.lastModified)
    //#pre[3] (Date getLastModified()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Date getLastModified()): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(Date getLastModified()): return_value == Param_0.lastModified
    //#post(Date getLastModified()): init'ed(return_value)
    //#test_vector(Date getLastModified()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: Date org.apache.roller.weblogger.pojos.WeblogTemplate.getLastModified()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setLastModified(Date)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setLastModified(Date)): Param_0
    //#input(void setLastModified(Date)): Param_0.lastModified
    //#input(void setLastModified(Date)): Param_0.pcStateManager
    //#input(void setLastModified(Date)): Param_1
    //#input(void setLastModified(Date)): pcInheritedFieldCount
    //#output(void setLastModified(Date)): Param_0.lastModified
    //#pre[2] (void setLastModified(Date)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setLastModified(Date)): (soft) init'ed(Param_0.lastModified)
    //#pre[5] (void setLastModified(Date)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(void setLastModified(Date)): Param_0.lastModified == One-of{Param_1, old Param_0.lastModified}
    //#post(void setLastModified(Date)): (soft) init'ed(Param_0.lastModified)
    //#test_vector(void setLastModified(Date)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setLastModified(Date)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getTemplateLanguage()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getTemplateLanguage()): Param_0
    //#input(String getTemplateLanguage()): Param_0.pcStateManager
    //#input(String getTemplateLanguage()): Param_0.templateLanguage
    //#input(String getTemplateLanguage()): pcInheritedFieldCount
    //#output(String getTemplateLanguage()): return_value
    //#pre[2] (String getTemplateLanguage()): init'ed(Param_0.pcStateManager)
    //#pre[3] (String getTemplateLanguage()): init'ed(Param_0.templateLanguage)
    //#pre[4] (String getTemplateLanguage()): (soft) pcInheritedFieldCount <= 4_294_967_284
    //#post(String getTemplateLanguage()): return_value == Param_0.templateLanguage
    //#post(String getTemplateLanguage()): init'ed(return_value)
    //#test_vector(String getTemplateLanguage()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getTemplateLanguage()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setTemplateLanguage(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setTemplateLanguage(String)): Param_0
    //#input(void setTemplateLanguage(String)): Param_0.pcStateManager
    //#input(void setTemplateLanguage(String)): Param_0.templateLanguage
    //#input(void setTemplateLanguage(String)): Param_1
    //#input(void setTemplateLanguage(String)): pcInheritedFieldCount
    //#output(void setTemplateLanguage(String)): Param_0.templateLanguage
    //#pre[2] (void setTemplateLanguage(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setTemplateLanguage(String)): (soft) init'ed(Param_0.templateLanguage)
    //#pre[5] (void setTemplateLanguage(String)): (soft) pcInheritedFieldCount <= 4_294_967_284
    //#post(void setTemplateLanguage(String)): Param_0.templateLanguage == One-of{Param_1, old Param_0.templateLanguage}
    //#post(void setTemplateLanguage(String)): (soft) init'ed(Param_0.templateLanguage)
    //#test_vector(void setTemplateLanguage(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setTemplateLanguage(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: bool isNavbar()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(bool isNavbar()): Param_0
    //#input(bool isNavbar()): Param_0.navbar
    //#input(bool isNavbar()): Param_0.pcStateManager
    //#input(bool isNavbar()): pcInheritedFieldCount
    //#output(bool isNavbar()): return_value
    //#pre[2] (bool isNavbar()): init'ed(Param_0.navbar)
    //#pre[3] (bool isNavbar()): init'ed(Param_0.pcStateManager)
    //#pre[4] (bool isNavbar()): (soft) pcInheritedFieldCount <= 4_294_967_286
    //#post(bool isNavbar()): return_value == Param_0.navbar
    //#post(bool isNavbar()): init'ed(return_value)
    //#test_vector(bool isNavbar()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isNavbar()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void setNavbar(bool)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#input(void setNavbar(bool)): Param_0
    //#input(void setNavbar(bool)): Param_0.navbar
    //#input(void setNavbar(bool)): Param_0.pcStateManager
    //#input(void setNavbar(bool)): Param_1
    //#input(void setNavbar(bool)): pcInheritedFieldCount
    //#output(void setNavbar(bool)): Param_0.navbar
    //#pre[2] (void setNavbar(bool)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setNavbar(bool)): (soft) init'ed(Param_0.navbar)
    //#pre[5] (void setNavbar(bool)): (soft) pcInheritedFieldCount <= 4_294_967_286
    //#post(void setNavbar(bool)): (soft) init'ed(Param_0.navbar)
    //#test_vector(void setNavbar(bool)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setNavbar(bool)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: bool isHidden()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(bool isHidden()): Param_0
    //#input(bool isHidden()): Param_0.hidden
    //#input(bool isHidden()): Param_0.pcStateManager
    //#input(bool isHidden()): pcInheritedFieldCount
    //#output(bool isHidden()): return_value
    //#pre[2] (bool isHidden()): init'ed(Param_0.hidden)
    //#pre[3] (bool isHidden()): init'ed(Param_0.pcStateManager)
    //#pre[4] (bool isHidden()): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(bool isHidden()): return_value == Param_0.hidden
    //#post(bool isHidden()): init'ed(return_value)
    //#test_vector(bool isHidden()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.isHidden()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void setHidden(bool)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#input(void setHidden(bool)): Param_0
    //#input(void setHidden(bool)): Param_0.hidden
    //#input(void setHidden(bool)): Param_0.pcStateManager
    //#input(void setHidden(bool)): Param_1
    //#input(void setHidden(bool)): pcInheritedFieldCount
    //#output(void setHidden(bool)): Param_0.hidden
    //#pre[2] (void setHidden(bool)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setHidden(bool)): (soft) init'ed(Param_0.hidden)
    //#pre[5] (void setHidden(bool)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(void setHidden(bool)): (soft) init'ed(Param_0.hidden)
    //#test_vector(void setHidden(bool)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setHidden(bool)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getDecoratorName()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getDecoratorName()): Param_0
    //#input(String getDecoratorName()): Param_0.decoratorName
    //#input(String getDecoratorName()): Param_0.pcStateManager
    //#input(String getDecoratorName()): pcInheritedFieldCount
    //#output(String getDecoratorName()): return_value
    //#pre[2] (String getDecoratorName()): init'ed(Param_0.decoratorName)
    //#pre[3] (String getDecoratorName()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getDecoratorName()): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(String getDecoratorName()): return_value == Param_0.decoratorName
    //#post(String getDecoratorName()): init'ed(return_value)
    //#test_vector(String getDecoratorName()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getDecoratorName()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setDecoratorName(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setDecoratorName(String)): Param_0
    //#input(void setDecoratorName(String)): Param_0.decoratorName
    //#input(void setDecoratorName(String)): Param_0.pcStateManager
    //#input(void setDecoratorName(String)): Param_1
    //#input(void setDecoratorName(String)): pcInheritedFieldCount
    //#output(void setDecoratorName(String)): Param_0.decoratorName
    //#pre[2] (void setDecoratorName(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setDecoratorName(String)): (soft) init'ed(Param_0.decoratorName)
    //#pre[5] (void setDecoratorName(String)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(void setDecoratorName(String)): Param_0.decoratorName == One-of{Param_1, old Param_0.decoratorName}
    //#post(void setDecoratorName(String)): (soft) init'ed(Param_0.decoratorName)
    //#test_vector(void setDecoratorName(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setDecoratorName(String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: String getOutputContentType()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getOutputContentType()): Param_0
    //#input(String getOutputContentType()): Param_0.outputContentType
    //#input(String getOutputContentType()): Param_0.pcStateManager
    //#input(String getOutputContentType()): pcInheritedFieldCount
    //#output(String getOutputContentType()): return_value
    //#pre[2] (String getOutputContentType()): init'ed(Param_0.outputContentType)
    //#pre[3] (String getOutputContentType()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getOutputContentType()): (soft) pcInheritedFieldCount <= 4_294_967_285
    //#post(String getOutputContentType()): return_value == Param_0.outputContentType
    //#post(String getOutputContentType()): init'ed(return_value)
    //#test_vector(String getOutputContentType()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogTemplate.getOutputContentType()
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void setOutputContentType(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setOutputContentType(String)): Param_0
    //#input(void setOutputContentType(String)): Param_0.outputContentType
    //#input(void setOutputContentType(String)): Param_0.pcStateManager
    //#input(void setOutputContentType(String)): Param_1
    //#input(void setOutputContentType(String)): pcInheritedFieldCount
    //#output(void setOutputContentType(String)): Param_0.outputContentType
    //#pre[2] (void setOutputContentType(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setOutputContentType(String)): (soft) init'ed(Param_0.outputContentType)
    //#pre[5] (void setOutputContentType(String)): (soft) pcInheritedFieldCount <= 4_294_967_285
    //#post(void setOutputContentType(String)): Param_0.outputContentType == One-of{Param_1, old Param_0.outputContentType}
    //#post(void setOutputContentType(String)): (soft) init'ed(Param_0.outputContentType)
    //#test_vector(void setOutputContentType(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.setOutputContentType(String)
    //#output(int pcGetEnhancementContractVersion()): return_value
    //#post(int pcGetEnhancementContractVersion()): return_value == 2
    //#WeblogTemplate.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetEnhancementContractVersion()
    //#input(Class class$(String)): Param_0
    //#output(Class class$(String)): return_value
    //#post(Class class$(String)): init'ed(return_value)
    //#WeblogTemplate.java:: end of method: Class org.apache.roller.weblogger.pojos.WeblogTemplate.class$(String)
    //#input(void pcClearFields()): Param_0
    //#output(void pcClearFields()): Param_0.action
    //#output(void pcClearFields()): Param_0.contents
    //#output(void pcClearFields()): Param_0.decoratorName
    //#output(void pcClearFields()): Param_0.description
    //#output(void pcClearFields()): Param_0.hidden
    //#output(void pcClearFields()): Param_0.id
    //#output(void pcClearFields()): Param_0.lastModified
    //#output(void pcClearFields()): Param_0.link
    //#output(void pcClearFields()): Param_0.name
    //#output(void pcClearFields()): Param_0.navbar
    //#output(void pcClearFields()): Param_0.outputContentType
    //#output(void pcClearFields()): Param_0.templateLanguage
    //#output(void pcClearFields()): Param_0.weblog
    //#post(void pcClearFields()): Param_0.action == null
    //#post(void pcClearFields()): Param_0.contents == null
    //#post(void pcClearFields()): Param_0.decoratorName == null
    //#post(void pcClearFields()): Param_0.description == null
    //#post(void pcClearFields()): Param_0.id == null
    //#post(void pcClearFields()): Param_0.lastModified == null
    //#post(void pcClearFields()): Param_0.link == null
    //#post(void pcClearFields()): Param_0.name == null
    //#post(void pcClearFields()): Param_0.outputContentType == null
    //#post(void pcClearFields()): Param_0.templateLanguage == null
    //#post(void pcClearFields()): Param_0.weblog == null
    //#post(void pcClearFields()): Param_0.hidden == 0
    //#post(void pcClearFields()): Param_0.navbar == 0
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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/WeblogTemplate]
    //#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 WeblogTemplate(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.action
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.contents
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.decoratorName
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.description
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.hidden
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.lastModified
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.link
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.navbar
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.outputContentType
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.templateLanguage
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.weblog
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogTemplate(pcNewInstance#1)
    //#pre[2] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2 != null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value == &new WeblogTemplate(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogTemplate(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.action == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.contents == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.decoratorName == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.description == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.hidden == 0
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.lastModified == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.link == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.navbar == 0
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.outputContentType == 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.templateLanguage == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.weblog == null
    //#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}
    //#WeblogTemplate.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogTemplate.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/WeblogTemplate]
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Dispatch_Table.pcClearFields()V
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogTemplate(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.action
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.contents
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.decoratorName
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.description
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.hidden
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.lastModified
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.link
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.navbar
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.outputContentType
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.templateLanguage
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.weblog
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogTemplate(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value == &new WeblogTemplate(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogTemplate(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.action == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.contents == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.decoratorName == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.description == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.hidden == 0
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.lastModified == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.link == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.navbar == 0
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.outputContentType == 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.templateLanguage == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.weblog == null
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2: {0}, {1}
    //#WeblogTemplate.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewInstance(StateManager, bool)
    //#output(int pcGetManagedFieldCount()): return_value
    //#post(int pcGetManagedFieldCount()): return_value == 13
    //#WeblogTemplate.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetManagedFieldCount()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:replaceBooleanField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:replaceBooleanField(PersistenceCapable, int)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#input(void pcReplaceField(int)): Param_0
    //#input(void pcReplaceField(int)): Param_0.pcStateManager
    //#input(void pcReplaceField(int)): Param_1
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[org/apache/roller/weblogger/pojos/Weblog]
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[others]
    //#input(void pcReplaceField(int)): pcInheritedFieldCount
    //#output(void pcReplaceField(int)): Param_0.action
    //#output(void pcReplaceField(int)): Param_0.contents
    //#output(void pcReplaceField(int)): Param_0.decoratorName
    //#output(void pcReplaceField(int)): Param_0.description
    //#output(void pcReplaceField(int)): Param_0.hidden
    //#output(void pcReplaceField(int)): Param_0.id
    //#output(void pcReplaceField(int)): Param_0.lastModified
    //#output(void pcReplaceField(int)): Param_0.link
    //#output(void pcReplaceField(int)): Param_0.name
    //#output(void pcReplaceField(int)): Param_0.navbar
    //#output(void pcReplaceField(int)): Param_0.outputContentType
    //#output(void pcReplaceField(int)): Param_0.templateLanguage
    //#output(void pcReplaceField(int)): Param_0.weblog
    //#pre[2] (void pcReplaceField(int)): Param_0.pcStateManager != null
    //#pre[4] (void pcReplaceField(int)): Param_1 - pcInheritedFieldCount in 0..12
    //#pre[18] (void pcReplaceField(int)): init'ed(pcInheritedFieldCount)
    //#presumption(void pcReplaceField(int)): org.apache.openjpa.enhance.StateManager:replaceObjectField(...).__Tag == org/apache/roller/weblogger/pojos/Weblog
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.action)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.contents)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.decoratorName)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.description)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.hidden)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.id)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.lastModified)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.link)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.name)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.navbar)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.outputContentType)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.templateLanguage)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.weblog)
    //#test_vector(void pcReplaceField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceField(int)
    //#WeblogTemplate.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogTemplate.pcReplaceField: Param_1 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcReplaceFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogTemplate.pcReplaceField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..12
    //#    callee file: WeblogTemplate.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcReplaceFields(int[])): Param_0
    //#input(void pcReplaceFields(int[])): Param_0.__Tag
    //#input(void pcReplaceFields(int[])): Param_0.pcStateManager
    //#input(void pcReplaceFields(int[])): Param_1
    //#input(void pcReplaceFields(int[])): Param_1.length
    //#input(void pcReplaceFields(int[])): Param_1[0..4_294_967_295]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): __Dispatch_Table.pcReplaceField(I)V
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[org/apache/roller/weblogger/pojos/Weblog]
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): pcInheritedFieldCount
    //#output(void pcReplaceFields(int[])): Param_0.action
    //#output(void pcReplaceFields(int[])): Param_0.contents
    //#output(void pcReplaceFields(int[])): Param_0.decoratorName
    //#output(void pcReplaceFields(int[])): Param_0.description
    //#output(void pcReplaceFields(int[])): Param_0.hidden
    //#output(void pcReplaceFields(int[])): Param_0.id
    //#output(void pcReplaceFields(int[])): Param_0.lastModified
    //#output(void pcReplaceFields(int[])): Param_0.link
    //#output(void pcReplaceFields(int[])): Param_0.name
    //#output(void pcReplaceFields(int[])): Param_0.navbar
    //#output(void pcReplaceFields(int[])): Param_0.outputContentType
    //#output(void pcReplaceFields(int[])): Param_0.templateLanguage
    //#output(void pcReplaceFields(int[])): Param_0.weblog
    //#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/WeblogTemplate
    //#pre[3] (void pcReplaceFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[6] (void pcReplaceFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[20] (void pcReplaceFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.action)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.contents)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.decoratorName)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.description)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.hidden)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.id)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.lastModified)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.link)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.name)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.navbar)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.outputContentType)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.templateLanguage)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.weblog)
    //#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:replaceBooleanField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceObjectField
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceFields(int[])
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedBooleanField(PersistenceCapable, int, bool)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedBooleanField(PersistenceCapable, int, bool)
    //#WeblogTemplate.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.WeblogTemplate
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#input(void pcProvideField(int)): Param_0
    //#input(void pcProvideField(int)): Param_0.action
    //#input(void pcProvideField(int)): Param_0.contents
    //#input(void pcProvideField(int)): Param_0.decoratorName
    //#input(void pcProvideField(int)): Param_0.description
    //#input(void pcProvideField(int)): Param_0.hidden
    //#input(void pcProvideField(int)): Param_0.id
    //#input(void pcProvideField(int)): Param_0.lastModified
    //#input(void pcProvideField(int)): Param_0.link
    //#input(void pcProvideField(int)): Param_0.name
    //#input(void pcProvideField(int)): Param_0.navbar
    //#input(void pcProvideField(int)): Param_0.outputContentType
    //#input(void pcProvideField(int)): Param_0.pcStateManager
    //#input(void pcProvideField(int)): Param_0.templateLanguage
    //#input(void pcProvideField(int)): Param_0.weblog
    //#input(void pcProvideField(int)): Param_1
    //#input(void pcProvideField(int)): pcInheritedFieldCount
    //#pre[13] (void pcProvideField(int)): Param_0.pcStateManager != null
    //#pre[17] (void pcProvideField(int)): Param_1 - pcInheritedFieldCount in 0..12
    //#pre[18] (void pcProvideField(int)): init'ed(pcInheritedFieldCount)
    //#pre[2] (void pcProvideField(int)): (soft) init'ed(Param_0.action)
    //#pre[3] (void pcProvideField(int)): (soft) init'ed(Param_0.contents)
    //#pre[4] (void pcProvideField(int)): (soft) init'ed(Param_0.decoratorName)
    //#pre[5] (void pcProvideField(int)): (soft) init'ed(Param_0.description)
    //#pre[6] (void pcProvideField(int)): (soft) init'ed(Param_0.hidden)
    //#pre[7] (void pcProvideField(int)): (soft) init'ed(Param_0.id)
    //#pre[8] (void pcProvideField(int)): (soft) init'ed(Param_0.lastModified)
    //#pre[9] (void pcProvideField(int)): (soft) init'ed(Param_0.link)
    //#pre[10] (void pcProvideField(int)): (soft) init'ed(Param_0.name)
    //#pre[11] (void pcProvideField(int)): (soft) init'ed(Param_0.navbar)
    //#pre[12] (void pcProvideField(int)): (soft) init'ed(Param_0.outputContentType)
    //#pre[14] (void pcProvideField(int)): (soft) init'ed(Param_0.templateLanguage)
    //#pre[15] (void pcProvideField(int)): (soft) init'ed(Param_0.weblog)
    //#test_vector(void pcProvideField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcProvideField(int)
    //#WeblogTemplate.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogTemplate.pcProvideField: Param_1 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcProvideFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogTemplate.pcProvideField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..12
    //#    callee file: WeblogTemplate.java
    //#    callee precondition index: [17]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcProvideFields(int[])): Param_0
    //#input(void pcProvideFields(int[])): Param_0.__Tag
    //#input(void pcProvideFields(int[])): Param_0.action
    //#input(void pcProvideFields(int[])): Param_0.contents
    //#input(void pcProvideFields(int[])): Param_0.decoratorName
    //#input(void pcProvideFields(int[])): Param_0.description
    //#input(void pcProvideFields(int[])): Param_0.hidden
    //#input(void pcProvideFields(int[])): Param_0.id
    //#input(void pcProvideFields(int[])): Param_0.lastModified
    //#input(void pcProvideFields(int[])): Param_0.link
    //#input(void pcProvideFields(int[])): Param_0.name
    //#input(void pcProvideFields(int[])): Param_0.navbar
    //#input(void pcProvideFields(int[])): Param_0.outputContentType
    //#input(void pcProvideFields(int[])): Param_0.pcStateManager
    //#input(void pcProvideFields(int[])): Param_0.templateLanguage
    //#input(void pcProvideFields(int[])): Param_0.weblog
    //#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/WeblogTemplate]
    //#input(void pcProvideFields(int[])): __Descendant_Table[others]
    //#input(void pcProvideFields(int[])): __Dispatch_Table.pcProvideField(I)V
    //#input(void pcProvideFields(int[])): pcInheritedFieldCount
    //#pre[17] (void pcProvideFields(int[])): Param_1 != null
    //#pre[18] (void pcProvideFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcProvideFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#pre[3] (void pcProvideFields(int[])): (soft) init'ed(Param_0.action)
    //#pre[4] (void pcProvideFields(int[])): (soft) init'ed(Param_0.contents)
    //#pre[5] (void pcProvideFields(int[])): (soft) init'ed(Param_0.decoratorName)
    //#pre[6] (void pcProvideFields(int[])): (soft) init'ed(Param_0.description)
    //#pre[7] (void pcProvideFields(int[])): (soft) init'ed(Param_0.hidden)
    //#pre[8] (void pcProvideFields(int[])): (soft) init'ed(Param_0.id)
    //#pre[9] (void pcProvideFields(int[])): (soft) init'ed(Param_0.lastModified)
    //#pre[10] (void pcProvideFields(int[])): (soft) init'ed(Param_0.link)
    //#pre[11] (void pcProvideFields(int[])): (soft) init'ed(Param_0.name)
    //#pre[12] (void pcProvideFields(int[])): (soft) init'ed(Param_0.navbar)
    //#pre[13] (void pcProvideFields(int[])): (soft) init'ed(Param_0.outputContentType)
    //#pre[14] (void pcProvideFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[15] (void pcProvideFields(int[])): (soft) init'ed(Param_0.templateLanguage)
    //#pre[16] (void pcProvideFields(int[])): (soft) init'ed(Param_0.weblog)
    //#pre[19] (void pcProvideFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[20] (void pcProvideFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedStringField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedBooleanField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedObjectField
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcProvideFields(int[])
    //#input(void pcCopyField(WeblogTemplate, int)): Param_0
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.action
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.contents
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.decoratorName
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.description
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.hidden
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.id
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.lastModified
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.link
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.name
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.navbar
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.outputContentType
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.templateLanguage
    //#input(void pcCopyField(WeblogTemplate, int)): Param_1.weblog
    //#input(void pcCopyField(WeblogTemplate, int)): Param_2
    //#input(void pcCopyField(WeblogTemplate, int)): pcInheritedFieldCount
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.action
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.contents
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.decoratorName
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.description
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.hidden
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.id
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.lastModified
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.link
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.name
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.navbar
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.outputContentType
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.templateLanguage
    //#output(void pcCopyField(WeblogTemplate, int)): Param_0.weblog
    //#pre[2] (void pcCopyField(WeblogTemplate, int)): Param_1 != null
    //#pre[17] (void pcCopyField(WeblogTemplate, int)): Param_2 - pcInheritedFieldCount in 0..12
    //#pre[31] (void pcCopyField(WeblogTemplate, int)): init'ed(pcInheritedFieldCount)
    //#pre[3] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.action)
    //#pre[4] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.contents)
    //#pre[5] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.decoratorName)
    //#pre[6] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.description)
    //#pre[7] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.hidden)
    //#pre[8] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.id)
    //#pre[9] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.lastModified)
    //#pre[10] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.link)
    //#pre[11] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.name)
    //#pre[12] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.navbar)
    //#pre[13] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.outputContentType)
    //#pre[14] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.templateLanguage)
    //#pre[15] (void pcCopyField(WeblogTemplate, int)): (soft) init'ed(Param_1.weblog)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.action)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.contents)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.decoratorName)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.description)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.hidden)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.id)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.lastModified)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.link)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.name)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.navbar)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.outputContentType)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.templateLanguage)
    //#post(void pcCopyField(WeblogTemplate, int)): possibly_updated(Param_0.weblog)
    //#test_vector(void pcCopyField(WeblogTemplate, int)): Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyField(WeblogTemplate, int)
    //#WeblogTemplate.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogTemplate.pcCopyField: Param_2 - pcInheritedFieldCount in 0..12
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcCopyFields(Object, int[])
    //#    basic block: bb_2
    //#    assertion: Param_2[Local_4] - pcInheritedFieldCount in 0..12
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogTemplate.pcCopyField(WeblogTemplate, int)
    //#    callee assertion: Param_2 - pcInheritedFieldCount in 0..12
    //#    callee file: WeblogTemplate.java
    //#    callee precondition index: [17]
    //#    callee srcpos: 
    //#    VN: Param_2[Local_4] - pcInheritedFieldCount
    //#    Expected: {0..12}
    //#    Bad: {-6_442_450_943..-1, 13..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcCopyFields(Object, int[])): Param_0
    //#input(void pcCopyFields(Object, int[])): Param_0.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_0.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1
    //#input(void pcCopyFields(Object, int[])): Param_1.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_1.action
    //#input(void pcCopyFields(Object, int[])): Param_1.contents
    //#input(void pcCopyFields(Object, int[])): Param_1.decoratorName
    //#input(void pcCopyFields(Object, int[])): Param_1.description
    //#input(void pcCopyFields(Object, int[])): Param_1.hidden
    //#input(void pcCopyFields(Object, int[])): Param_1.id
    //#input(void pcCopyFields(Object, int[])): Param_1.lastModified
    //#input(void pcCopyFields(Object, int[])): Param_1.link
    //#input(void pcCopyFields(Object, int[])): Param_1.name
    //#input(void pcCopyFields(Object, int[])): Param_1.navbar
    //#input(void pcCopyFields(Object, int[])): Param_1.outputContentType
    //#input(void pcCopyFields(Object, int[])): Param_1.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1.templateLanguage
    //#input(void pcCopyFields(Object, int[])): Param_1.weblog
    //#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/WeblogTemplate]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[others]
    //#input(void pcCopyFields(Object, int[])): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogTemplate;I)V
    //#input(void pcCopyFields(Object, int[])): pcInheritedFieldCount
    //#output(void pcCopyFields(Object, int[])): Param_0.action
    //#output(void pcCopyFields(Object, int[])): Param_0.contents
    //#output(void pcCopyFields(Object, int[])): Param_0.decoratorName
    //#output(void pcCopyFields(Object, int[])): Param_0.description
    //#output(void pcCopyFields(Object, int[])): Param_0.hidden
    //#output(void pcCopyFields(Object, int[])): Param_0.id
    //#output(void pcCopyFields(Object, int[])): Param_0.lastModified
    //#output(void pcCopyFields(Object, int[])): Param_0.link
    //#output(void pcCopyFields(Object, int[])): Param_0.name
    //#output(void pcCopyFields(Object, int[])): Param_0.navbar
    //#output(void pcCopyFields(Object, int[])): Param_0.outputContentType
    //#output(void pcCopyFields(Object, int[])): Param_0.templateLanguage
    //#output(void pcCopyFields(Object, int[])): Param_0.weblog
    //#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/WeblogTemplate
    //#pre[19] (void pcCopyFields(Object, int[])): Param_1.pcStateManager != null
    //#pre[22] (void pcCopyFields(Object, int[])): Param_2 != null
    //#pre[23] (void pcCopyFields(Object, int[])): Param_2.length <= 4_294_967_295
    //#pre[2] (void pcCopyFields(Object, int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogTemplate
    //#pre[8] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.action)
    //#pre[9] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.contents)
    //#pre[10] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.decoratorName)
    //#pre[11] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.description)
    //#pre[12] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.hidden)
    //#pre[13] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.id)
    //#pre[14] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.lastModified)
    //#pre[15] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.link)
    //#pre[16] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.name)
    //#pre[17] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.navbar)
    //#pre[18] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.outputContentType)
    //#pre[20] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.templateLanguage)
    //#pre[21] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.weblog)
    //#pre[24] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_2[0..4_294_967_295])
    //#pre[38] (void pcCopyFields(Object, int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.action)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.contents)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.decoratorName)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.description)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.hidden)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.id)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.lastModified)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.link)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.name)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.navbar)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.outputContentType)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.templateLanguage)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.weblog)
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyFields(Object, int[])
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetGenericContext()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcFetchObjectId()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsDeleted()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsDirty()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isNew()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsNew()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsPersistent()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcIsTransactional()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:serializing()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogTemplate.pcSerializing()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    //#WeblogTemplate.java:: end of method: StateManager org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetStateManager()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcGetVersion()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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}
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcReplaceStateManager(StateManager)
    //#WeblogTemplate.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(FieldSupplier, Object) always ends with an exception
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogTemplate.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(Object) always ends with an exception
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): pcInheritedFieldCount
    //#pre[1] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1 != null
    //#pre[2] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2 != null
    //#pre[3] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): pcInheritedFieldCount <= 4_294_967_290
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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)
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogTemplate.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogTemplate.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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$WeblogTemplate
    //#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$WeblogTemplate == old class$Lorg$apache$roller$weblogger$pojos$WeblogTemplate
    //#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
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewObjectIdInstance(Object)
    //#WeblogTemplate.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogTemplate.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    method: Object pcNewObjectIdInstance()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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$WeblogTemplate
    //#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$WeblogTemplate == old class$Lorg$apache$roller$weblogger$pojos$WeblogTemplate
    //#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
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.pcNewObjectIdInstance()
    //#WeblogTemplate.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogTemplate
    //#    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/WeblogTemplate]
    //#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/WeblogTemplate
    //#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}
    //#WeblogTemplate.java:: end of method: Boolean org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    //#WeblogTemplate.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogTemplate.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)
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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/WeblogTemplate]
    //#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/WeblogTemplate
    //#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
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.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/WeblogTemplate]
    //#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/WeblogTemplate
    //#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)
    //#WeblogTemplate.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogTemplate.readObject(ObjectInputStream)
    //#WeblogTemplate.java:: end of class: org.apache.roller.weblogger.pojos.WeblogTemplate
