//# 6 errors, 1,662 messages
//#
/*
    //#WeblogBookmarkFolder.java:1:1: class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#WeblogBookmarkFolder.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getId()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setId(String)
    //#WeblogBookmarkFolder.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getName()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setName(String)
    //#WeblogBookmarkFolder.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getDescription()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setDescription(String)
    //#WeblogBookmarkFolder.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getPath()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setPath(String)
    //#WeblogBookmarkFolder.java:1:1: method: Weblog org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getWebsite()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setWebsite(Weblog)
    //#WeblogBookmarkFolder.java:1:1: method: WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getParent()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setParent(WeblogBookmarkFolder)
    //#WeblogBookmarkFolder.java:1:1: method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getFolders()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setFolders(Set)
    //#WeblogBookmarkFolder.java:1:1: method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getBookmarks()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setBookmarks(Set)
    //#WeblogBookmarkFolder.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetEnhancementContractVersion()
    //#WeblogBookmarkFolder.java:1:1: method: Class org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.class$(String)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcClearFields()
    //#WeblogBookmarkFolder.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewInstance(StateManager, Object, bool)
    //#WeblogBookmarkFolder.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewInstance(StateManager, bool)
    //#WeblogBookmarkFolder.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetManagedFieldCount()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceField(int)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceFields(int[])
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcProvideField(int)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcProvideFields(int[])
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyField(WeblogBookmarkFolder, int)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyFields(Object, int[])
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetGenericContext()
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcFetchObjectId()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsDeleted()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsDirty()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsNew()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsPersistent()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsTransactional()
    //#WeblogBookmarkFolder.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcSerializing()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcDirty(String)
    //#WeblogBookmarkFolder.java:1:1: method: StateManager org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetStateManager()
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetVersion()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceStateManager(StateManager)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewObjectIdInstance(Object)
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewObjectIdInstance()
    //#WeblogBookmarkFolder.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsDetached()
    //#WeblogBookmarkFolder.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetDetachedState()
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcSetDetachedState(Object)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.writeObject(ObjectOutputStream)
    //#WeblogBookmarkFolder.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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.Iterator;
import java.util.List;
import java.util.Set;
import java.util.TreeSet;
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.weblogger.business.BookmarkManager;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.util.UUIDGenerator;


/**
 * <p>Folder that holds Bookmarks and other Folders. A Roller Website has a
 * set of Folders (there is no one root folder) and each Folder may contain
 * Folders or Bookmarks. Don't construct one of these yourself, instead use
 * the create method in your BookmarkManager implementation.</p>
 */
public class WeblogBookmarkFolder implements Serializable, Comparable {
    
    public static final long serialVersionUID = -6272468884763861944L;
    
    private static Log log = LogFactory.getLog(WeblogBookmarkFolder.class);
    //#WeblogBookmarkFolder.java:47: method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#WeblogBookmarkFolder.java:47: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Set.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/util/Set.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_3
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_4
    //#    live edge: bb_4-->bb_5
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_6
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/util/Set.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_7
    //#    live edge: bb_7-->bb_8
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/util/Set.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_9
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_10
    //#    live edge: bb_10-->bb_11
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_12
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_13
    //#    live edge: bb_13-->bb_14
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_15
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_16
    //#    live edge: bb_16-->bb_17
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_18
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_19
    //#    live edge: bb_19-->bb_20
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_21
    //#WeblogBookmarkFolder.java:47: 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.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_22
    //#    live edge: bb_22-->bb_23
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/Weblog.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_24
    //#WeblogBookmarkFolder.java:47: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    from bb: bb_25
    //#    live edge: bb_25-->bb_26
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:47: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    dead bb: bb_27
    //#WeblogBookmarkFolder.java:47: ?use of default init
    //#    init'ed(pcPCSuperclass)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    basic block: bb_28
    //#    assertion: init'ed(pcPCSuperclass)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#WeblogBookmarkFolder.java:47: 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.WeblogBookmarkFolder
    //#    method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    //#    unanalyzed callee: void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.addBookmark(Lorg/apache/roller/weblogger/pojos/WeblogBookmark;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.addFolder(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.compareTo(Ljava/lang/Object;)I
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.descendentOf(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getBookmarks()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getFolders()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getPath()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.hasFolder(Ljava/lang/String;)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.hashCode()I
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcClearFields()V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDeleted()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDirty()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsNew()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsPersistent()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsTransactional()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__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.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcProvideField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcProvideFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcSerializing()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetBookmarks()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetFolders()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetPath()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetBookmarks(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetDescription(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetFolders(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetParent(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetPath(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.retrieveBookmarks(Z)Ljava/util/List;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setBookmarks(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setFolders(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setParent(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setPath(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.updateName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Ljava$lang$String
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Ljava$util$Set
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogBookmarkFolder
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): log
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new Class[](WeblogBookmarkFolder__static_init#2) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes.length
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new String[](WeblogBookmarkFolder__static_init#1) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames.length
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new byte[](WeblogBookmarkFolder__static_init#3) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags.length
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[5]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[6]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[7]
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames
    //#output(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes
    //#new obj(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new Class[](WeblogBookmarkFolder__static_init#2)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new String[](WeblogBookmarkFolder__static_init#1)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new byte[](WeblogBookmarkFolder__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.addBookmark(Lorg/apache/roller/weblogger/pojos/WeblogBookmark;)V == &addBookmark
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.addFolder(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V == &addFolder
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.compareTo(Ljava/lang/Object;)I == &compareTo
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.descendentOf(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)Z == &descendentOf
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getBookmarks()Ljava/util/Set; == &getBookmarks
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getFolders()Ljava/util/Set; == &getFolders
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder; == &getParent
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getPath()Ljava/lang/String; == &getPath
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &getWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.hasFolder(Ljava/lang/String;)Z == &hasFolder
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcClearFields()V == &pcClearFields
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;I)V == &pcCopyField
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V == &pcCopyFields
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V == &pcDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object; == &pcFetchObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object; == &pcGetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I == &pcGetEnhancementContractVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object; == &pcGetGenericContext
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager; == &pcGetStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object; == &pcGetVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDeleted()Z == &pcIsDeleted
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean; == &pcIsDetached
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsDirty()Z == &pcIsDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsNew()Z == &pcIsNew
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsPersistent()Z == &pcIsPersistent
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcIsTransactional()Z == &pcIsTransactional
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__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.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcProvideField(I)V == &pcProvideField
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcProvideFields([I)V == &pcProvideFields
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceField(I)V == &pcReplaceField
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceFields([I)V == &pcReplaceFields
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V == &pcReplaceStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcSerializing()Z == &pcSerializing
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V == &pcSetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetBookmarks()Ljava/util/Set; == &pcgetBookmarks
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetDescription()Ljava/lang/String; == &pcgetDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetFolders()Ljava/util/Set; == &pcgetFolders
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String; == &pcgetId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetName()Ljava/lang/String; == &pcgetName
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder; == &pcgetParent
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetPath()Ljava/lang/String; == &pcgetPath
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &pcgetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetBookmarks(Ljava/util/Set;)V == &pcsetBookmarks
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetDescription(Ljava/lang/String;)V == &pcsetDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetFolders(Ljava/util/Set;)V == &pcsetFolders
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V == &pcsetId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetName(Ljava/lang/String;)V == &pcsetName
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetParent(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V == &pcsetParent
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetPath(Ljava/lang/String;)V == &pcsetPath
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &pcsetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.readObject(Ljava/io/ObjectInputStream;)V == &readObject
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.retrieveBookmarks(Z)Ljava/util/List; == &retrieveBookmarks
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setBookmarks(Ljava/util/Set;)V == &setBookmarks
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V == &setDescription
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setFolders(Ljava/util/Set;)V == &setFolders
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setParent(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V == &setParent
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setPath(Ljava/lang/String;)V == &setPath
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &setWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.updateName(Ljava/lang/String;)V == &updateName
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): __Dispatch_Table.writeObject(Ljava/io/ObjectOutputStream;)V == &writeObject
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Ljava$lang$String == undefined
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Ljava$lang$String == null
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Ljava$util$Set == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogBookmarkFolder == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): init'ed(log)
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags == &new byte[](WeblogBookmarkFolder__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames == &new String[](WeblogBookmarkFolder__static_init#1)
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes == &new Class[](WeblogBookmarkFolder__static_init#2)
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new Class[](WeblogBookmarkFolder__static_init#2) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new String[](WeblogBookmarkFolder__static_init#1) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): new byte[](WeblogBookmarkFolder__static_init#3) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes.length == 8
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames.length == 8
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags.length == 8
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[0] == &Ljava.util.Set.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[2] == &Ljava.util.Set.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[1] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[3] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[4] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[6] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[5] == &Lorg.apache.roller.weblogger.pojos.WeblogBookmarkFolder.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldTypes[7] == &Lorg.apache.roller.weblogger.pojos.Weblog.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[0] == &"bookmarks"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[1] == &"description"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[2] == &"folders"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[3] == &"id"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[4] == &"name"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[5] == &"parent"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[6] == &"path"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldNames[7] == &"website"
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[0] == 5
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[2] == 5
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[1] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[3] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[4] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[5] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[6] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): pcFieldFlags[7] == 26
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:java.lang.NoClassDefFoundError
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init): Effects-of-calling:java.util.TreeSet
    //#WeblogBookmarkFolder.java:47: end of method: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder__static_init
    
    
    // attributes
    private String id = UUIDGenerator.generateUUID();
    //#WeblogBookmarkFolder.java:51: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#WeblogBookmarkFolder.java:51: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    private String name = null;
    private String description = null;
    private String path = null;
    
    // associations
    private Weblog website = null;
    private WeblogBookmarkFolder parentFolder = null;
    private Set childFolders = new TreeSet();
    private Set bookmarks = new TreeSet();
    
    
    public WeblogBookmarkFolder() {
    //#WeblogBookmarkFolder.java:63: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#1) num objects
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#2) num objects
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.bookmarks
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.childFolders
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.description
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.id
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.name
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.parentFolder
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.path
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.website
    //#new obj(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#1)
    //#new obj(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#2)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.bookmarks == &new TreeSet(WeblogBookmarkFolder#2)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.childFolders == &new TreeSet(WeblogBookmarkFolder#1)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.description == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.name == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.parentFolder == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.path == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): this.website == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#1) num objects == 1
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()): new TreeSet(WeblogBookmarkFolder#2) num objects == 1
    }
    //#WeblogBookmarkFolder.java:64: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder()
    
    public WeblogBookmarkFolder(
            WeblogBookmarkFolder parent,
            String name,
            String desc,
            Weblog website) {
    //#WeblogBookmarkFolder.java:70: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): "."._tainted
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): desc
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): name
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): name._tainted
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent.__Tag
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent.path
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent.path._tainted
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent.pcStateManager
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): pcInheritedFieldCount
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this
    //#input(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): website
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#1) num objects
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#2) num objects
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.bookmarks
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.childFolders
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.description
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.id
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.name
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.parentFolder
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.path
    //#output(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.website
    //#new obj(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): java.lang.StringBuilder:toString(...)
    //#new obj(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#1)
    //#new obj(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#2)
    //#pre[6] (void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): (soft) parent.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[7] (void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): (soft) init'ed(parent.path)
    //#pre[9] (void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): (soft) init'ed(parent.pcStateManager)
    //#pre[10] (void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.bookmarks == &new TreeSet(WeblogBookmarkFolder#2)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.childFolders == &new TreeSet(WeblogBookmarkFolder#1)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.description == desc
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(this.description)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.name == name
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.parentFolder == parent
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(this.parentFolder)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.path in Addr_Set{&".",&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...)}
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): this.website == website
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): init'ed(this.website)
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#1) num objects == 1
    //#post(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): new TreeSet(WeblogBookmarkFolder#2) num objects == 1
    //#unanalyzed(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): parent: Inverse{null}, Addr_Set{null}
    //#test_vector(void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)): java.lang.String:equals(...)@81: {0}, {1}
        
        this.name = name;
        this.description = desc;
        
        this.website = website;
        this.parentFolder = parent;
        
        // calculate path
        if(parent == null) {
            this.path = "/";
        } else if("/".equals(parent.getPath())) {
            this.path = "/"+name;
        } else {
            this.path = parent.getPath() + "/" + name;
        }
    }
    //#WeblogBookmarkFolder.java:86: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.org.apache.roller.weblogger.pojos.WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)
    
        
    //------------------------------------------------------- Good citizenship

    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#WeblogBookmarkFolder.java:92: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.toString()
    //#input(String toString()): ", "._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): "}"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.path
    //#input(String toString()): this.path._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.id)
    //#pre[5] (String toString()): init'ed(this.path)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.id._tainted | this.path._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.path);
        buf.append("}");
        return buf.toString();
    //#WeblogBookmarkFolder.java:97: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.toString()
    }
    
    public boolean equals(Object other) {
        
        if (other == null) return false;
    //#WeblogBookmarkFolder.java:102: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(bool equals(Object)): other
    //#input(bool equals(Object)): other.__Tag
    //#input(bool equals(Object)): other.path
    //#input(bool equals(Object)): other.pcStateManager
    //#input(bool equals(Object)): pcInheritedFieldCount
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.__Tag
    //#input(bool equals(Object)): this.path
    //#input(bool equals(Object)): this.pcStateManager
    //#output(bool equals(Object)): return_value
    //#pre[3] (bool equals(Object)): (soft) init'ed(other.path)
    //#pre[4] (bool equals(Object)): (soft) init'ed(other.pcStateManager)
    //#pre[5] (bool equals(Object)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#pre[7] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[8] (bool equals(Object)): (soft) init'ed(this.path)
    //#pre[9] (bool equals(Object)): (soft) init'ed(this.pcStateManager)
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@106 != 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: Inverse{null}, Addr_Set{null}
    //#test_vector(bool equals(Object)): other.__Tag: {0..176_895, 176_897..+Inf}, {176_896}
        
        if (other instanceof WeblogBookmarkFolder) {
            WeblogBookmarkFolder o = (WeblogBookmarkFolder) other;
            return new EqualsBuilder()
    //#WeblogBookmarkFolder.java:106: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.EqualsBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: bool equals(Object)
    //#    unanalyzed callee: void org.apache.commons.lang.builder.EqualsBuilder()
    //#WeblogBookmarkFolder.java:106: Warning: method not available
    //#    -- call on EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: bool equals(Object)
    //#    unanalyzed callee: EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#WeblogBookmarkFolder.java:106: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
                .append(getPath(), o.getPath()) 
                //.append(getWebsite(), o.getWebsite()) 
                .isEquals();
        }
        
        return false;
    //#WeblogBookmarkFolder.java:112: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.equals(Object)
    }    
    
    
    public int hashCode() {
        return new HashCodeBuilder()
    //#WeblogBookmarkFolder.java:117: method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.hashCode()
    //#WeblogBookmarkFolder.java:117: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.HashCodeBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: int hashCode()
    //#    unanalyzed callee: void org.apache.commons.lang.builder.HashCodeBuilder()
    //#WeblogBookmarkFolder.java:117: Warning: method not available
    //#    -- call on HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: int hashCode()
    //#    unanalyzed callee: HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#WeblogBookmarkFolder.java:117: Warning: method not available
    //#    -- call on int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: int hashCode()
    //#    unanalyzed callee: int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#input(int hashCode()): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(int hashCode()): __Descendant_Table[others]
    //#input(int hashCode()): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(int hashCode()): pcInheritedFieldCount
    //#input(int hashCode()): this
    //#input(int hashCode()): this.__Tag
    //#input(int hashCode()): this.path
    //#input(int hashCode()): this.pcStateManager
    //#output(int hashCode()): return_value
    //#pre[3] (int hashCode()): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[4] (int hashCode()): init'ed(this.path)
    //#pre[5] (int hashCode()): init'ed(this.pcStateManager)
    //#pre[1] (int hashCode()): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@117 != null
    //#post(int hashCode()): init'ed(return_value)
    //#unanalyzed(int hashCode()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#WeblogBookmarkFolder.java:117: end of method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.hashCode()
            .append(getPath())
            //.append(getWebsite())
            .toHashCode();
    }
    
    /**
     * @see java.lang.Comparable#compareTo(java.lang.Object)
     */
    public int compareTo(Object o) {
        WeblogBookmarkFolder other = (WeblogBookmarkFolder)o;
    //#WeblogBookmarkFolder.java:127: method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.compareTo(Object)
    //#input(int compareTo(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(int compareTo(Object)): __Descendant_Table[others]
    //#input(int compareTo(Object)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(int compareTo(Object)): o
    //#input(int compareTo(Object)): o.__Tag
    //#input(int compareTo(Object)): o.name
    //#input(int compareTo(Object)): o.pcStateManager
    //#input(int compareTo(Object)): pcInheritedFieldCount
    //#input(int compareTo(Object)): this
    //#input(int compareTo(Object)): this.__Tag
    //#input(int compareTo(Object)): this.name
    //#input(int compareTo(Object)): this.pcStateManager
    //#output(int compareTo(Object)): return_value
    //#pre[1] (int compareTo(Object)): o != null
    //#pre[2] (int compareTo(Object)): o.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[3] (int compareTo(Object)): init'ed(o.name)
    //#pre[4] (int compareTo(Object)): init'ed(o.pcStateManager)
    //#pre[7] (int compareTo(Object)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[8] (int compareTo(Object)): this.name != null
    //#pre[9] (int compareTo(Object)): init'ed(this.pcStateManager)
    //#pre[5] (int compareTo(Object)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(int compareTo(Object)): init'ed(return_value)
    //#unanalyzed(int compareTo(Object)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
        return getName().compareTo(other.getName());
    //#WeblogBookmarkFolder.java:128: end of method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.compareTo(Object)
    }
    
    
    /**
     * Database surrogate key.
     *
     * @roller.wrapPojoMethod type="simple"
     *
     * @hibernate.id column="id"
     *     generator-class="assigned"  
     */
    public String getId() {
        return this.id;
    //#WeblogBookmarkFolder.java:141: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:141: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetId()
    }
    
    public void setId(String id) {
        // Form bean workaround: empty string is never a valid id
        if (id != null && id.trim().length() == 0) return; 
    //#WeblogBookmarkFolder.java:146: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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 == One-of{old this.id, Param_1}
    //#test_vector(void pcsetId(String)): Param_1: Addr_Set{null}, Inverse{null}
    //#test_vector(void pcsetId(String)): java.lang.String:length(...)@146: {1..4_294_967_295}, {0}
        this.id = id;
    }
    //#WeblogBookmarkFolder.java:148: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetId(String)
    
    
    /**
     * The short name for this folder.
     *
     * @roller.wrapPojoMethod type="simple"
     *
     * @struts.validator type="required" msgkey="errors.required"
     * @struts.validator type="mask" msgkey="errors.noslashes"
     * @struts.validator-var name="mask" value="${noslashes}"
     * @struts.validator-args arg0resource="folderForm.name"
     *
     * @hibernate.property column="name" non-null="true" unique="false"
     */
    public String getName() {
        return this.name;
    //#WeblogBookmarkFolder.java:164: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:164: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetName()
    }
    
    public void setName(String name) {
        this.name = name;
    //#WeblogBookmarkFolder.java:168: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    }
    //#WeblogBookmarkFolder.java:169: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetName(String)
    
    
    /**
     * A full description for this folder.
     *
     * @roller.wrapPojoMethod type="simple"
     *
     * @hibernate.property column="description" non-null="true" unique="false"
     */
    public String getDescription() {
        return this.description;
    //#WeblogBookmarkFolder.java:180: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:180: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetDescription()
    }
    
    public void setDescription(String description) {
        this.description = description;
    //#WeblogBookmarkFolder.java:184: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    }
    //#WeblogBookmarkFolder.java:185: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetDescription(String)
    
    
    /**
     * The full path to this folder in the hierarchy.
     *
     * @roller.wrapPojoMethod type="simple"
     *
     * @hibernate.property column="path" non-null="true" unique="false"
     */
    public String getPath() {
        return this.path;
    //#WeblogBookmarkFolder.java:196: method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetPath()
    //#input(String pcgetPath()): this
    //#input(String pcgetPath()): this.path
    //#output(String pcgetPath()): return_value
    //#pre[2] (String pcgetPath()): init'ed(this.path)
    //#post(String pcgetPath()): return_value == this.path
    //#post(String pcgetPath()): init'ed(return_value)
    //#WeblogBookmarkFolder.java:196: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetPath()
    }
    
    public void setPath(String path) {
        this.path = path;
    //#WeblogBookmarkFolder.java:200: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetPath(String)
    //#input(void pcsetPath(String)): Param_1
    //#input(void pcsetPath(String)): this
    //#output(void pcsetPath(String)): this.path
    //#post(void pcsetPath(String)): this.path == Param_1
    //#post(void pcsetPath(String)): init'ed(this.path)
    }
    //#WeblogBookmarkFolder.java:201: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetPath(String)
    
    
    /**
     * Get the weblog which owns this folder.
     *
     * @roller.wrapPojoMethod type="pojo"
     *
     * @hibernate.many-to-one column="websiteid" cascade="none" not-null="true"
     */
    public Weblog getWebsite() {
        return website;
    //#WeblogBookmarkFolder.java:212: method: Weblog org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetWebsite()
    //#input(Weblog pcgetWebsite()): this
    //#input(Weblog pcgetWebsite()): this.website
    //#output(Weblog pcgetWebsite()): return_value
    //#pre[2] (Weblog pcgetWebsite()): init'ed(this.website)
    //#post(Weblog pcgetWebsite()): return_value == this.website
    //#post(Weblog pcgetWebsite()): init'ed(return_value)
    //#WeblogBookmarkFolder.java:212: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetWebsite()
    }
    
    public void setWebsite( Weblog website ) {
        this.website = website;
    //#WeblogBookmarkFolder.java:216: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetWebsite(Weblog)
    //#input(void pcsetWebsite(Weblog)): Param_1
    //#input(void pcsetWebsite(Weblog)): this
    //#output(void pcsetWebsite(Weblog)): this.website
    //#post(void pcsetWebsite(Weblog)): this.website == Param_1
    //#post(void pcsetWebsite(Weblog)): init'ed(this.website)
    }
    //#WeblogBookmarkFolder.java:217: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetWebsite(Weblog)
    
    
    /**
     * Return parent folder, or null if folder is root of hierarchy.
     *
     * @roller.wrapPojoMethod type="pojo"
     *
     * @hibernate.many-to-one column="parentid" cascade="none" not-null="false"
     */
    public WeblogBookmarkFolder getParent() {
        return this.parentFolder;
    //#WeblogBookmarkFolder.java:228: method: WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetParent()
    //#input(WeblogBookmarkFolder pcgetParent()): this
    //#input(WeblogBookmarkFolder pcgetParent()): this.parentFolder
    //#output(WeblogBookmarkFolder pcgetParent()): return_value
    //#pre[2] (WeblogBookmarkFolder pcgetParent()): init'ed(this.parentFolder)
    //#post(WeblogBookmarkFolder pcgetParent()): return_value == this.parentFolder
    //#post(WeblogBookmarkFolder pcgetParent()): init'ed(return_value)
    //#WeblogBookmarkFolder.java:228: end of method: WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetParent()
    }
    
    public void setParent(WeblogBookmarkFolder parent) {
        this.parentFolder = parent;
    //#WeblogBookmarkFolder.java:232: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetParent(WeblogBookmarkFolder)
    //#input(void pcsetParent(WeblogBookmarkFolder)): Param_1
    //#input(void pcsetParent(WeblogBookmarkFolder)): this
    //#output(void pcsetParent(WeblogBookmarkFolder)): this.parentFolder
    //#post(void pcsetParent(WeblogBookmarkFolder)): this.parentFolder == Param_1
    //#post(void pcsetParent(WeblogBookmarkFolder)): init'ed(this.parentFolder)
    }
    //#WeblogBookmarkFolder.java:233: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetParent(WeblogBookmarkFolder)
    
    
    /**
     * Get child folders of this folder.
     *
     * @roller.wrapPojoMethod type="pojo-collection" class="org.apache.roller.weblogger.pojos.WeblogBookmarkFolder"
     *
     * @hibernate.set lazy="true" inverse="true" cascade="delete" 
     * @hibernate.collection-key column="parentid"
     * @hibernate.collection-one-to-many class="org.apache.roller.weblogger.pojos.WeblogBookmarkFolder"
     */
    public Set getFolders() {
        return this.childFolders;
    //#WeblogBookmarkFolder.java:246: method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetFolders()
    //#input(Set pcgetFolders()): this
    //#input(Set pcgetFolders()): this.childFolders
    //#output(Set pcgetFolders()): return_value
    //#pre[2] (Set pcgetFolders()): init'ed(this.childFolders)
    //#post(Set pcgetFolders()): return_value == this.childFolders
    //#post(Set pcgetFolders()): init'ed(return_value)
    //#WeblogBookmarkFolder.java:246: end of method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetFolders()
    }
    
    private void setFolders(Set folders) {
        this.childFolders = folders;
    //#WeblogBookmarkFolder.java:250: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetFolders(Set)
    //#input(void pcsetFolders(Set)): Param_1
    //#input(void pcsetFolders(Set)): this
    //#output(void pcsetFolders(Set)): this.childFolders
    //#post(void pcsetFolders(Set)): this.childFolders == Param_1
    //#post(void pcsetFolders(Set)): init'ed(this.childFolders)
    }
    //#WeblogBookmarkFolder.java:251: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetFolders(Set)
    
    
    /**
     * Get bookmarks contained in this folder.
     *
     * @roller.wrapPojoMethod type="pojo-collection" class="org.apache.roller.weblogger.pojos.WeblogBookmark"
     *
     * @hibernate.set lazy="true" order-by="name" inverse="true" cascade="all"
     * @hibernate.collection-key column="folderid"
     * @hibernate.collection-one-to-many class="org.apache.roller.weblogger.pojos.WeblogBookmark"
     */
    public Set getBookmarks() {
        return this.bookmarks;
    //#WeblogBookmarkFolder.java:264: method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetBookmarks()
    //#input(Set pcgetBookmarks()): this
    //#input(Set pcgetBookmarks()): this.bookmarks
    //#output(Set pcgetBookmarks()): return_value
    //#pre[2] (Set pcgetBookmarks()): init'ed(this.bookmarks)
    //#post(Set pcgetBookmarks()): return_value == this.bookmarks
    //#post(Set pcgetBookmarks()): init'ed(return_value)
    //#WeblogBookmarkFolder.java:264: end of method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcgetBookmarks()
    }
    
    // this is private to force the use of add/remove bookmark methods.
    private void setBookmarks(Set bookmarks) {
        this.bookmarks = bookmarks;
    //#WeblogBookmarkFolder.java:269: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetBookmarks(Set)
    //#input(void pcsetBookmarks(Set)): Param_1
    //#input(void pcsetBookmarks(Set)): this
    //#output(void pcsetBookmarks(Set)): this.bookmarks
    //#post(void pcsetBookmarks(Set)): this.bookmarks == Param_1
    //#post(void pcsetBookmarks(Set)): init'ed(this.bookmarks)
    }
    //#WeblogBookmarkFolder.java:270: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcsetBookmarks(Set)
    
    
    /**
     * Add a folder as a child of this folder.
     */
    public void addFolder(WeblogBookmarkFolder folder) {
        
        // make sure folder is not null
        if(folder == null || folder.getName() == null) {
    //#WeblogBookmarkFolder.java:279: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.addFolder(WeblogBookmarkFolder)
    //#input(void addFolder(WeblogBookmarkFolder)): "'"._tainted
    //#input(void addFolder(WeblogBookmarkFolder)): "Duplicate folder name '"._tainted
    //#input(void addFolder(WeblogBookmarkFolder)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void addFolder(WeblogBookmarkFolder)): __Descendant_Table[others]
    //#input(void addFolder(WeblogBookmarkFolder)): __Dispatch_Table.getFolders()Ljava/util/Set;
    //#input(void addFolder(WeblogBookmarkFolder)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void addFolder(WeblogBookmarkFolder)): __Dispatch_Table.hasFolder(Ljava/lang/String;)Z
    //#input(void addFolder(WeblogBookmarkFolder)): __Dispatch_Table.setParent(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V
    //#input(void addFolder(WeblogBookmarkFolder)): folder
    //#input(void addFolder(WeblogBookmarkFolder)): folder.__Tag
    //#input(void addFolder(WeblogBookmarkFolder)): folder.name
    //#input(void addFolder(WeblogBookmarkFolder)): folder.name._tainted
    //#input(void addFolder(WeblogBookmarkFolder)): folder.parentFolder
    //#input(void addFolder(WeblogBookmarkFolder)): folder.pcStateManager
    //#input(void addFolder(WeblogBookmarkFolder)): pcInheritedFieldCount
    //#input(void addFolder(WeblogBookmarkFolder)): this
    //#input(void addFolder(WeblogBookmarkFolder)): this.__Tag
    //#input(void addFolder(WeblogBookmarkFolder)): this.childFolders
    //#input(void addFolder(WeblogBookmarkFolder)): this.pcStateManager
    //#output(void addFolder(WeblogBookmarkFolder)): folder.parentFolder
    //#pre[1] (void addFolder(WeblogBookmarkFolder)): folder != null
    //#pre[2] (void addFolder(WeblogBookmarkFolder)): folder.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[5] (void addFolder(WeblogBookmarkFolder)): init'ed(folder.pcStateManager)
    //#pre[9] (void addFolder(WeblogBookmarkFolder)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[10] (void addFolder(WeblogBookmarkFolder)): this.childFolders != null
    //#pre[11] (void addFolder(WeblogBookmarkFolder)): init'ed(this.pcStateManager)
    //#pre[3] (void addFolder(WeblogBookmarkFolder)): (soft) folder.name != null
    //#pre[6] (void addFolder(WeblogBookmarkFolder)): (soft) init'ed(folder.parentFolder)
    //#pre[7] (void addFolder(WeblogBookmarkFolder)): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#presumption(void addFolder(WeblogBookmarkFolder)): java.util.Iterator:hasNext(...)@325 == 0
    //#post(void addFolder(WeblogBookmarkFolder)): folder.parentFolder == One-of{this, old folder.parentFolder}
    //#post(void addFolder(WeblogBookmarkFolder)): (soft) init'ed(folder.parentFolder)
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingObjectField
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void addFolder(WeblogBookmarkFolder)): Effects-of-calling:java.lang.String:equals
            throw new IllegalArgumentException("Folder cannot be null and must have a valid name");
        }
        
        // make sure we don't already have a folder with that name
        if(this.hasFolder(folder.getName())) {
            throw new IllegalArgumentException("Duplicate folder name '"+folder.getName()+"'");
        }
        
        // set ourselves as the parent of the folder
        folder.setParent(this);
        
        // add it to our list of child folder
        getFolders().add(folder);
    }
    //#WeblogBookmarkFolder.java:293: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.addFolder(WeblogBookmarkFolder)
    
    
    /** 
     * Add a bookmark to this folder.
     */
    public void addBookmark(WeblogBookmark bookmark) throws WebloggerException {
        bookmark.setFolder(this);
    //#WeblogBookmarkFolder.java:300: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.addBookmark(WeblogBookmark)
    //#input(void addBookmark(WeblogBookmark)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void addBookmark(WeblogBookmark)): __Descendant_Table[others]
    //#input(void addBookmark(WeblogBookmark)): __Dispatch_Table.getBookmarks()Ljava/util/Set;
    //#input(void addBookmark(WeblogBookmark)): bookmark
    //#input(void addBookmark(WeblogBookmark)): bookmark.__Tag
    //#input(void addBookmark(WeblogBookmark)): bookmark.folder
    //#input(void addBookmark(WeblogBookmark)): bookmark.pcStateManager
    //#input(void addBookmark(WeblogBookmark)): org/apache/roller/weblogger/pojos/WeblogBookmark.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmark]
    //#input(void addBookmark(WeblogBookmark)): org/apache/roller/weblogger/pojos/WeblogBookmark.__Descendant_Table[others]
    //#input(void addBookmark(WeblogBookmark)): org/apache/roller/weblogger/pojos/WeblogBookmark.__Dispatch_Table.setFolder(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;)V
    //#input(void addBookmark(WeblogBookmark)): org/apache/roller/weblogger/pojos/WeblogBookmark.pcInheritedFieldCount
    //#input(void addBookmark(WeblogBookmark)): pcInheritedFieldCount
    //#input(void addBookmark(WeblogBookmark)): this
    //#input(void addBookmark(WeblogBookmark)): this.__Tag
    //#input(void addBookmark(WeblogBookmark)): this.bookmarks
    //#input(void addBookmark(WeblogBookmark)): this.pcStateManager
    //#output(void addBookmark(WeblogBookmark)): bookmark.folder
    //#pre[1] (void addBookmark(WeblogBookmark)): bookmark != null
    //#pre[2] (void addBookmark(WeblogBookmark)): bookmark.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmark
    //#pre[3] (void addBookmark(WeblogBookmark)): init'ed(bookmark.pcStateManager)
    //#pre[8] (void addBookmark(WeblogBookmark)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[9] (void addBookmark(WeblogBookmark)): this.bookmarks != null
    //#pre[10] (void addBookmark(WeblogBookmark)): init'ed(this.pcStateManager)
    //#pre[4] (void addBookmark(WeblogBookmark)): (soft) init'ed(bookmark.folder)
    //#pre[5] (void addBookmark(WeblogBookmark)): (soft) org/apache/roller/weblogger/pojos/WeblogBookmark.pcInheritedFieldCount <= 4_294_967_293
    //#pre[6] (void addBookmark(WeblogBookmark)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void addBookmark(WeblogBookmark)): bookmark.folder == One-of{this, old bookmark.folder}
    //#post(void addBookmark(WeblogBookmark)): (soft) init'ed(bookmark.folder)
    //#unanalyzed(void addBookmark(WeblogBookmark)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(void addBookmark(WeblogBookmark)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingObjectField
        getBookmarks().add(bookmark);
    }
    //#WeblogBookmarkFolder.java:302: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.addBookmark(WeblogBookmark)
    
    
    /**
     * @roller.wrapPojoMethod type="pojo-collection" class="org.apache.roller.weblogger.pojos.WeblogBookmark"
     *
     * @param subfolders
     */
    public List retrieveBookmarks(boolean subfolders) throws WebloggerException {
        BookmarkManager bmgr = WebloggerFactory.getWeblogger().getBookmarkManager();
    //#WeblogBookmarkFolder.java:311: method: List org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.retrieveBookmarks(bool)
    //#WeblogBookmarkFolder.java:311: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: List retrieveBookmarks(bool)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#WeblogBookmarkFolder.java:311: Warning: method not available
    //#    -- call on BookmarkManager org.apache.roller.weblogger.business.Weblogger:getBookmarkManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: List retrieveBookmarks(bool)
    //#    unanalyzed callee: BookmarkManager org.apache.roller.weblogger.business.Weblogger:getBookmarkManager()
    //#input(List retrieveBookmarks(bool)): subfolders
    //#input(List retrieveBookmarks(bool)): this
    //#output(List retrieveBookmarks(bool)): return_value
    //#presumption(List retrieveBookmarks(bool)): org.apache.roller.weblogger.business.Weblogger:getBookmarkManager(...)@311 != null
    //#presumption(List retrieveBookmarks(bool)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@311 != null
    //#post(List retrieveBookmarks(bool)): init'ed(return_value)
        return bmgr.getBookmarks(this, subfolders);
    //#WeblogBookmarkFolder.java:312: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.business.BookmarkManager:getBookmarks(WeblogBookmarkFolder, bool)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: List retrieveBookmarks(bool)
    //#    unanalyzed callee: List org.apache.roller.weblogger.business.BookmarkManager:getBookmarks(WeblogBookmarkFolder, bool)
    //#WeblogBookmarkFolder.java:312: end of method: List org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.retrieveBookmarks(bool)
    }
    
    
    /**
     * Does this folder have a child folder with the specified name?
     *
     * @param name The name of the folder to check for.
     * @return boolean true if child folder exists, false otherwise.
     */
    public boolean hasFolder(String name) {
        Iterator folders = this.getFolders().iterator();
    //#WeblogBookmarkFolder.java:323: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.hasFolder(String)
    //#input(bool hasFolder(String)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(bool hasFolder(String)): __Descendant_Table[others]
    //#input(bool hasFolder(String)): __Dispatch_Table.getFolders()Ljava/util/Set;
    //#input(bool hasFolder(String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool hasFolder(String)): name
    //#input(bool hasFolder(String)): pcInheritedFieldCount
    //#input(bool hasFolder(String)): this
    //#input(bool hasFolder(String)): this.__Tag
    //#input(bool hasFolder(String)): this.childFolders
    //#input(bool hasFolder(String)): this.pcStateManager
    //#output(bool hasFolder(String)): return_value
    //#pre[4] (bool hasFolder(String)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[5] (bool hasFolder(String)): this.childFolders != null
    //#pre[6] (bool hasFolder(String)): init'ed(this.pcStateManager)
    //#pre[1] (bool hasFolder(String)): (soft) name != null
    //#pre[2] (bool hasFolder(String)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#presumption(bool hasFolder(String)): java.util.Iterator:next(...).__Tag@326 == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#presumption(bool hasFolder(String)): java.util.Iterator:next(...)@326 != null
    //#post(bool hasFolder(String)): init'ed(return_value)
    //#unanalyzed(bool hasFolder(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(bool hasFolder(String)): java.lang.String:equals(...)@327: {0}, {1}
    //#test_vector(bool hasFolder(String)): java.util.Iterator:hasNext(...)@325: {0}, {1}
        WeblogBookmarkFolder folder = null;
    //#WeblogBookmarkFolder.java:324: Warning: unused assignment
    //#    unused assignment into folder
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: bool hasFolder(String)
    //#    Attribs:  Uncertain
        while(folders.hasNext()) {
            folder = (WeblogBookmarkFolder) folders.next();
            if(name.equals(folder.getName())) {
                return true;
            }
        }
        return false;
    //#WeblogBookmarkFolder.java:331: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.hasFolder(String)
    }
    
    
    /**
     * Is this folder a descendent of the other folder?
     *
     * @roller.wrapPojoMethod type="simple"
     */
    public boolean descendentOf(WeblogBookmarkFolder ancestor) {
        
        // if this is a root node then we can't be a descendent
        if(getParent() == null) {
    //#WeblogBookmarkFolder.java:343: method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.descendentOf(WeblogBookmarkFolder)
    //#input(bool descendentOf(WeblogBookmarkFolder)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(bool descendentOf(WeblogBookmarkFolder)): __Descendant_Table[others]
    //#input(bool descendentOf(WeblogBookmarkFolder)): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;
    //#input(bool descendentOf(WeblogBookmarkFolder)): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(bool descendentOf(WeblogBookmarkFolder)): ancestor
    //#input(bool descendentOf(WeblogBookmarkFolder)): ancestor.__Tag
    //#input(bool descendentOf(WeblogBookmarkFolder)): ancestor.path
    //#input(bool descendentOf(WeblogBookmarkFolder)): ancestor.pcStateManager
    //#input(bool descendentOf(WeblogBookmarkFolder)): pcInheritedFieldCount
    //#input(bool descendentOf(WeblogBookmarkFolder)): this
    //#input(bool descendentOf(WeblogBookmarkFolder)): this.__Tag
    //#input(bool descendentOf(WeblogBookmarkFolder)): this.parentFolder
    //#input(bool descendentOf(WeblogBookmarkFolder)): this.path
    //#input(bool descendentOf(WeblogBookmarkFolder)): this.pcStateManager
    //#output(bool descendentOf(WeblogBookmarkFolder)): return_value
    //#pre[7] (bool descendentOf(WeblogBookmarkFolder)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[8] (bool descendentOf(WeblogBookmarkFolder)): init'ed(this.parentFolder)
    //#pre[10] (bool descendentOf(WeblogBookmarkFolder)): init'ed(this.pcStateManager)
    //#pre[1] (bool descendentOf(WeblogBookmarkFolder)): (soft) ancestor != null
    //#pre[2] (bool descendentOf(WeblogBookmarkFolder)): (soft) ancestor.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[3] (bool descendentOf(WeblogBookmarkFolder)): (soft) init'ed(ancestor.path)
    //#pre[4] (bool descendentOf(WeblogBookmarkFolder)): (soft) init'ed(ancestor.pcStateManager)
    //#pre[5] (bool descendentOf(WeblogBookmarkFolder)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#pre[9] (bool descendentOf(WeblogBookmarkFolder)): (soft) this.path != null
    //#post(bool descendentOf(WeblogBookmarkFolder)): init'ed(return_value)
    //#unanalyzed(bool descendentOf(WeblogBookmarkFolder)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#test_vector(bool descendentOf(WeblogBookmarkFolder)): this.parentFolder: Inverse{null}, Addr_Set{null}
            return false;
        } else {
            // if our path starts with our parents path then we are a descendent
            return this.path.startsWith(ancestor.getPath());
    //#WeblogBookmarkFolder.java:347: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.descendentOf(WeblogBookmarkFolder)
        }
    }
    
    
    // convenience method for updating the folder name, which triggers a path tree rebuild
    public void updateName(String newName) throws WebloggerException {
        
        // update name
        setName(newName);
    //#WeblogBookmarkFolder.java:356: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.updateName(String)
    //#input(void updateName(String)): "."._tainted
    //#input(void updateName(String)): "NEW child folder path is "._tainted
    //#input(void updateName(String)): "OLD child folder path was "._tainted
    //#input(void updateName(String)): "Updating path tree for folder "._tainted
    //#input(void updateName(String)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void updateName(String)): __Descendant_Table[others]
    //#input(void updateName(String)): __Dispatch_Table.getFolders()Ljava/util/Set;
    //#input(void updateName(String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void updateName(String)): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;
    //#input(void updateName(String)): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(void updateName(String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void updateName(String)): __Dispatch_Table.setPath(Ljava/lang/String;)V
    //#input(void updateName(String)): log
    //#input(void updateName(String)): newName
    //#input(void updateName(String)): newName._tainted
    //#input(void updateName(String)): pcInheritedFieldCount
    //#input(void updateName(String)): this
    //#input(void updateName(String)): this...__Tag
    //#input(void updateName(String)): this...path
    //#input(void updateName(String)): this...path._tainted
    //#input(void updateName(String)): this...pcStateManager
    //#input(void updateName(String)): this.__Tag
    //#input(void updateName(String)): this.childFolders
    //#input(void updateName(String)): this.name
    //#input(void updateName(String)): this.name._tainted
    //#input(void updateName(String)): this.parentFolder
    //#input(void updateName(String)): this.path
    //#input(void updateName(String)): this.path._tainted
    //#input(void updateName(String)): this.pcStateManager
    //#output(void updateName(String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void updateName(String)): this.name
    //#output(void updateName(String)): this.path
    //#new obj(void updateName(String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void updateName(String)): log != null
    //#pre[12] (void updateName(String)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[13] (void updateName(String)): this.childFolders != null
    //#pre[15] (void updateName(String)): init'ed(this.parentFolder)
    //#pre[17] (void updateName(String)): init'ed(this.pcStateManager)
    //#pre[4] (void updateName(String)): (soft) init'ed(this.name)
    //#pre[5] (void updateName(String)): (soft) init'ed(this.path)
    //#pre[6] (void updateName(String)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#pre[8] (void updateName(String)): (soft) this...__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[9] (void updateName(String)): (soft) init'ed(this...path)
    //#pre[11] (void updateName(String)): (soft) init'ed(this...pcStateManager)
    //#post(void updateName(String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void updateName(String)): this.name == One-of{newName, old this.name}
    //#post(void updateName(String)): (soft) init'ed(this.name)
    //#post(void updateName(String)): this.path == One-of{&".", old this.path, &java.lang.StringBuilder:toString(...)}
    //#post(void updateName(String)): init'ed(this.path)
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingStringField
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getBookmarkManager
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void updateName(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void updateName(String)): Effects-of-calling:org.apache.roller.weblogger.business.BookmarkManager:saveFolder
    //#unanalyzed(void updateName(String)): Effects-of-calling:updatePathTree
    //#test_vector(void updateName(String)): this.parentFolder: Inverse{null}, Addr_Set{null}
    //#test_vector(void updateName(String)): java.lang.String:equals(...)@361: {0}, {1}
        
        // calculate path
        if(getParent() == null) {
            setPath("/");
        } else if("/".equals(getParent().getPath())) {
            setPath("/"+getName());
        } else {
            setPath(getParent().getPath() + "/" + getName());
        }
        
        // update path tree for all children
        updatePathTree(this);
    }
    //#WeblogBookmarkFolder.java:369: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.updateName(String)
    
    
    // update the path tree for a given folder
    public static void updatePathTree(WeblogBookmarkFolder folder) 
            throws WebloggerException {
        
        log.debug("Updating path tree for folder "+folder.getPath());
    //#WeblogBookmarkFolder.java:376: method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.updatePathTree(WeblogBookmarkFolder)
    //#WeblogBookmarkFolder.java:376: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void updatePathTree(WeblogBookmarkFolder)): "."._tainted
    //#input(void updatePathTree(WeblogBookmarkFolder)): "NEW child folder path is "._tainted
    //#input(void updatePathTree(WeblogBookmarkFolder)): "OLD child folder path was "._tainted
    //#input(void updatePathTree(WeblogBookmarkFolder)): "Updating path tree for folder "._tainted
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Descendant_Table[others]
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Dispatch_Table.getFolders()Ljava/util/Set;
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Dispatch_Table.getPath()Ljava/lang/String;
    //#input(void updatePathTree(WeblogBookmarkFolder)): __Dispatch_Table.setPath(Ljava/lang/String;)V
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder.__Tag
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder.childFolders
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder.path
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder.path._tainted
    //#input(void updatePathTree(WeblogBookmarkFolder)): folder.pcStateManager
    //#input(void updatePathTree(WeblogBookmarkFolder)): log
    //#input(void updatePathTree(WeblogBookmarkFolder)): pcInheritedFieldCount
    //#output(void updatePathTree(WeblogBookmarkFolder)): java.lang.StringBuilder:toString(...)._tainted
    //#new obj(void updatePathTree(WeblogBookmarkFolder)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void updatePathTree(WeblogBookmarkFolder)): folder != null
    //#pre[2] (void updatePathTree(WeblogBookmarkFolder)): folder.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[3] (void updatePathTree(WeblogBookmarkFolder)): folder.childFolders != null
    //#pre[4] (void updatePathTree(WeblogBookmarkFolder)): init'ed(folder.path)
    //#pre[6] (void updatePathTree(WeblogBookmarkFolder)): init'ed(folder.pcStateManager)
    //#pre[7] (void updatePathTree(WeblogBookmarkFolder)): log != null
    //#pre[8] (void updatePathTree(WeblogBookmarkFolder)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#presumption(void updatePathTree(WeblogBookmarkFolder)): childFolder.childFolders@393 != null
    //#presumption(void updatePathTree(WeblogBookmarkFolder)): java.util.Iterator:next(...).__Tag@381 == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#presumption(void updatePathTree(WeblogBookmarkFolder)): java.util.Iterator:next(...)@381 != null
    //#presumption(void updatePathTree(WeblogBookmarkFolder)): org.apache.roller.weblogger.business.Weblogger:getBookmarkManager(...)@391 != null
    //#presumption(void updatePathTree(WeblogBookmarkFolder)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@391 != null
    //#post(void updatePathTree(WeblogBookmarkFolder)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void updatePathTree(WeblogBookmarkFolder)): possibly_updated(java.lang.StringBuilder:toString(...)._tainted)
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:settingStringField
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getBookmarkManager
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:org.apache.roller.weblogger.business.BookmarkManager:saveFolder
    //#unanalyzed(void updatePathTree(WeblogBookmarkFolder)): Effects-of-calling:updatePathTree
    //#test_vector(void updatePathTree(WeblogBookmarkFolder)): java.lang.String:equals(...)@386: {0}, {1}
    //#test_vector(void updatePathTree(WeblogBookmarkFolder)): java.util.Iterator:hasNext(...)@380: {0}, {1}
        
        WeblogBookmarkFolder childFolder = null;
    //#WeblogBookmarkFolder.java:378: Warning: unused assignment
    //#    unused assignment into childFolder
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    Attribs:  Uncertain
        Iterator childFolders = folder.getFolders().iterator();
        while(childFolders.hasNext()) {
            childFolder = (WeblogBookmarkFolder) childFolders.next();
            
            log.debug("OLD child folder path was "+childFolder.getPath());
    //#WeblogBookmarkFolder.java:383: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            
            // update path and save
            if("/".equals(folder.getPath())) {
                childFolder.setPath("/" + childFolder.getName());
            } else {
                childFolder.setPath(folder.getPath() + "/" + childFolder.getName());
            }
            WebloggerFactory.getWeblogger().getBookmarkManager().saveFolder(childFolder);
    //#WeblogBookmarkFolder.java:391: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#WeblogBookmarkFolder.java:391: Warning: method not available
    //#    -- call on BookmarkManager org.apache.roller.weblogger.business.Weblogger:getBookmarkManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: BookmarkManager org.apache.roller.weblogger.business.Weblogger:getBookmarkManager()
    //#WeblogBookmarkFolder.java:391: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.BookmarkManager:saveFolder(WeblogBookmarkFolder)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.BookmarkManager:saveFolder(WeblogBookmarkFolder)
            
            log.debug("NEW child folder path is "+ childFolder.getPath());
    //#WeblogBookmarkFolder.java:393: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void updatePathTree(WeblogBookmarkFolder)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            
            // then make recursive call to update this folders children
            updatePathTree(childFolder);
        }
    }
    //#WeblogBookmarkFolder.java:398: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.updatePathTree(WeblogBookmarkFolder)
    
}
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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_292
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getId()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    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_292
    //#post(void setId(String)): Param_0.id == One-of{old Param_0.id, Param_1}
    //#post(void setId(String)): (soft) init'ed(Param_0.id)
    //#unanalyzed(void setId(String)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void setId(String)): Effects-of-calling:java.lang.String:length
    //#test_vector(void setId(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setId(String)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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_291
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getName()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    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_291
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setName(String)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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_294
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getDescription()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    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_294
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setDescription(String)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: String getPath()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getPath()): Param_0
    //#input(String getPath()): Param_0.path
    //#input(String getPath()): Param_0.pcStateManager
    //#input(String getPath()): pcInheritedFieldCount
    //#output(String getPath()): return_value
    //#pre[2] (String getPath()): init'ed(Param_0.path)
    //#pre[3] (String getPath()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getPath()): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(String getPath()): return_value == Param_0.path
    //#post(String getPath()): init'ed(return_value)
    //#test_vector(String getPath()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getPath()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void setPath(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setPath(String)): Param_0
    //#input(void setPath(String)): Param_0.path
    //#input(void setPath(String)): Param_0.pcStateManager
    //#input(void setPath(String)): Param_1
    //#input(void setPath(String)): pcInheritedFieldCount
    //#output(void setPath(String)): Param_0.path
    //#pre[2] (void setPath(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setPath(String)): (soft) init'ed(Param_0.path)
    //#pre[5] (void setPath(String)): (soft) pcInheritedFieldCount <= 4_294_967_289
    //#post(void setPath(String)): Param_0.path == One-of{Param_1, old Param_0.path}
    //#post(void setPath(String)): (soft) init'ed(Param_0.path)
    //#test_vector(void setPath(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setPath(String)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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.website
    //#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.website)
    //#pre[4] (Weblog getWebsite()): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(Weblog getWebsite()): return_value == Param_0.website
    //#post(Weblog getWebsite()): init'ed(return_value)
    //#test_vector(Weblog getWebsite()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getWebsite()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    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.website
    //#input(void setWebsite(Weblog)): Param_1
    //#input(void setWebsite(Weblog)): pcInheritedFieldCount
    //#output(void setWebsite(Weblog)): Param_0.website
    //#pre[2] (void setWebsite(Weblog)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setWebsite(Weblog)): (soft) init'ed(Param_0.website)
    //#pre[5] (void setWebsite(Weblog)): (soft) pcInheritedFieldCount <= 4_294_967_288
    //#post(void setWebsite(Weblog)): Param_0.website == One-of{Param_1, old Param_0.website}
    //#post(void setWebsite(Weblog)): (soft) init'ed(Param_0.website)
    //#test_vector(void setWebsite(Weblog)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setWebsite(Weblog)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: WeblogBookmarkFolder getParent()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(WeblogBookmarkFolder getParent()): Param_0
    //#input(WeblogBookmarkFolder getParent()): Param_0.parentFolder
    //#input(WeblogBookmarkFolder getParent()): Param_0.pcStateManager
    //#input(WeblogBookmarkFolder getParent()): pcInheritedFieldCount
    //#output(WeblogBookmarkFolder getParent()): return_value
    //#pre[2] (WeblogBookmarkFolder getParent()): init'ed(Param_0.parentFolder)
    //#pre[3] (WeblogBookmarkFolder getParent()): init'ed(Param_0.pcStateManager)
    //#pre[4] (WeblogBookmarkFolder getParent()): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(WeblogBookmarkFolder getParent()): return_value == Param_0.parentFolder
    //#post(WeblogBookmarkFolder getParent()): init'ed(return_value)
    //#test_vector(WeblogBookmarkFolder getParent()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getParent()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void setParent(WeblogBookmarkFolder)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setParent(WeblogBookmarkFolder)): Param_0
    //#input(void setParent(WeblogBookmarkFolder)): Param_0.parentFolder
    //#input(void setParent(WeblogBookmarkFolder)): Param_0.pcStateManager
    //#input(void setParent(WeblogBookmarkFolder)): Param_1
    //#input(void setParent(WeblogBookmarkFolder)): pcInheritedFieldCount
    //#output(void setParent(WeblogBookmarkFolder)): Param_0.parentFolder
    //#pre[2] (void setParent(WeblogBookmarkFolder)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setParent(WeblogBookmarkFolder)): (soft) init'ed(Param_0.parentFolder)
    //#pre[5] (void setParent(WeblogBookmarkFolder)): (soft) pcInheritedFieldCount <= 4_294_967_290
    //#post(void setParent(WeblogBookmarkFolder)): Param_0.parentFolder == One-of{Param_1, old Param_0.parentFolder}
    //#post(void setParent(WeblogBookmarkFolder)): (soft) init'ed(Param_0.parentFolder)
    //#test_vector(void setParent(WeblogBookmarkFolder)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setParent(WeblogBookmarkFolder)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: Set getFolders()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Set getFolders()): Param_0
    //#input(Set getFolders()): Param_0.childFolders
    //#input(Set getFolders()): Param_0.pcStateManager
    //#input(Set getFolders()): pcInheritedFieldCount
    //#output(Set getFolders()): return_value
    //#pre[2] (Set getFolders()): init'ed(Param_0.childFolders)
    //#pre[3] (Set getFolders()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Set getFolders()): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(Set getFolders()): return_value == Param_0.childFolders
    //#post(Set getFolders()): init'ed(return_value)
    //#test_vector(Set getFolders()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getFolders()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void setFolders(Set)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setFolders(Set)): Param_0
    //#input(void setFolders(Set)): Param_0.childFolders
    //#input(void setFolders(Set)): Param_0.pcStateManager
    //#input(void setFolders(Set)): Param_1
    //#input(void setFolders(Set)): pcInheritedFieldCount
    //#output(void setFolders(Set)): Param_0.childFolders
    //#pre[2] (void setFolders(Set)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setFolders(Set)): (soft) init'ed(Param_0.childFolders)
    //#pre[5] (void setFolders(Set)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(void setFolders(Set)): Param_0.childFolders == One-of{Param_1, old Param_0.childFolders}
    //#post(void setFolders(Set)): (soft) init'ed(Param_0.childFolders)
    //#test_vector(void setFolders(Set)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setFolders(Set)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: Set getBookmarks()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Set getBookmarks()): Param_0
    //#input(Set getBookmarks()): Param_0.bookmarks
    //#input(Set getBookmarks()): Param_0.pcStateManager
    //#input(Set getBookmarks()): pcInheritedFieldCount
    //#output(Set getBookmarks()): return_value
    //#pre[2] (Set getBookmarks()): init'ed(Param_0.bookmarks)
    //#pre[3] (Set getBookmarks()): init'ed(Param_0.pcStateManager)
    //#pre[4] (Set getBookmarks()): (soft) init'ed(pcInheritedFieldCount)
    //#post(Set getBookmarks()): return_value == Param_0.bookmarks
    //#post(Set getBookmarks()): init'ed(return_value)
    //#test_vector(Set getBookmarks()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: Set org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.getBookmarks()
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void setBookmarks(Set)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setBookmarks(Set)): Param_0
    //#input(void setBookmarks(Set)): Param_0.bookmarks
    //#input(void setBookmarks(Set)): Param_0.pcStateManager
    //#input(void setBookmarks(Set)): Param_1
    //#input(void setBookmarks(Set)): pcInheritedFieldCount
    //#output(void setBookmarks(Set)): Param_0.bookmarks
    //#pre[2] (void setBookmarks(Set)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setBookmarks(Set)): (soft) init'ed(Param_0.bookmarks)
    //#pre[5] (void setBookmarks(Set)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void setBookmarks(Set)): Param_0.bookmarks == One-of{Param_1, old Param_0.bookmarks}
    //#post(void setBookmarks(Set)): (soft) init'ed(Param_0.bookmarks)
    //#test_vector(void setBookmarks(Set)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.setBookmarks(Set)
    //#output(int pcGetEnhancementContractVersion()): return_value
    //#post(int pcGetEnhancementContractVersion()): return_value == 2
    //#WeblogBookmarkFolder.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetEnhancementContractVersion()
    //#input(Class class$(String)): Param_0
    //#output(Class class$(String)): return_value
    //#post(Class class$(String)): init'ed(return_value)
    //#WeblogBookmarkFolder.java:: end of method: Class org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.class$(String)
    //#input(void pcClearFields()): Param_0
    //#output(void pcClearFields()): Param_0.bookmarks
    //#output(void pcClearFields()): Param_0.childFolders
    //#output(void pcClearFields()): Param_0.description
    //#output(void pcClearFields()): Param_0.id
    //#output(void pcClearFields()): Param_0.name
    //#output(void pcClearFields()): Param_0.parentFolder
    //#output(void pcClearFields()): Param_0.path
    //#output(void pcClearFields()): Param_0.website
    //#post(void pcClearFields()): Param_0.bookmarks == null
    //#post(void pcClearFields()): Param_0.childFolders == null
    //#post(void pcClearFields()): Param_0.description == null
    //#post(void pcClearFields()): Param_0.id == null
    //#post(void pcClearFields()): Param_0.name == null
    //#post(void pcClearFields()): Param_0.parentFolder == null
    //#post(void pcClearFields()): Param_0.path == null
    //#post(void pcClearFields()): Param_0.website == null
    //#unanalyzed(void pcClearFields()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcClearFields()): Effects-of-calling:java.lang.String:length
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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/WeblogBookmarkFolder]
    //#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 TreeSet(WeblogBookmarkFolder#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TreeSet(WeblogBookmarkFolder#2) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogBookmarkFolder(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.bookmarks
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.childFolders
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.description
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.parentFolder
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.path
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.website
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TreeSet(WeblogBookmarkFolder#1)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TreeSet(WeblogBookmarkFolder#2)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogBookmarkFolder(pcNewInstance#1)
    //#pre[2] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2 != null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value == &new WeblogBookmarkFolder(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TreeSet(WeblogBookmarkFolder#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new TreeSet(WeblogBookmarkFolder#2) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogBookmarkFolder(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.bookmarks in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#2)}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.childFolders in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#1)}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.description == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.name == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.parentFolder == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.path == 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.website == 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:java.util.TreeSet
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.lang.String:length
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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/WeblogBookmarkFolder]
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Dispatch_Table.pcClearFields()V
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#2) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogBookmarkFolder(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.bookmarks
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.childFolders
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.description
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.parentFolder
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.path
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.website
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#1)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#2)
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogBookmarkFolder(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value == &new WeblogBookmarkFolder(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new TreeSet(WeblogBookmarkFolder#2) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogBookmarkFolder(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.bookmarks in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#2)}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.childFolders in Addr_Set{null,&new TreeSet(WeblogBookmarkFolder#1)}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.description == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.name == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.parentFolder == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.path == 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.website == null
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.util.TreeSet
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.lang.String:length
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2: {0}, {1}
    //#WeblogBookmarkFolder.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewInstance(StateManager, bool)
    //#output(int pcGetManagedFieldCount()): return_value
    //#post(int pcGetManagedFieldCount()): return_value == 8
    //#WeblogBookmarkFolder.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetManagedFieldCount()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: String org.apache.openjpa.enhance.StateManager:replaceStringField(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)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogBookmarkFolder]
    //#input(void pcReplaceField(int)): __Descendant_Table[others]
    //#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.bookmarks
    //#output(void pcReplaceField(int)): Param_0.childFolders
    //#output(void pcReplaceField(int)): Param_0.description
    //#output(void pcReplaceField(int)): Param_0.id
    //#output(void pcReplaceField(int)): Param_0.name
    //#output(void pcReplaceField(int)): Param_0.parentFolder
    //#output(void pcReplaceField(int)): Param_0.path
    //#output(void pcReplaceField(int)): Param_0.website
    //#pre[2] (void pcReplaceField(int)): Param_0.pcStateManager != null
    //#pre[4] (void pcReplaceField(int)): Param_1 - pcInheritedFieldCount in 0..7
    //#pre[13] (void pcReplaceField(int)): init'ed(pcInheritedFieldCount)
    //#presumption(void pcReplaceField(int)): org.apache.openjpa.enhance.StateManager:replaceObjectField(...).__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#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.bookmarks)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.childFolders)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.description)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.id)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.name)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.parentFolder)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.path)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.website)
    //#unanalyzed(void pcReplaceField(int)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcReplaceField(int)): Effects-of-calling:java.lang.String:length
    //#test_vector(void pcReplaceField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceField(int)
    //#WeblogBookmarkFolder.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcReplaceField: Param_1 - pcInheritedFieldCount in 0..7
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcReplaceFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..7
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcReplaceField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..7
    //#    callee file: WeblogBookmarkFolder.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..7}
    //#    Bad: {-6_442_450_943..-1, 8..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/WeblogBookmarkFolder]
    //#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.bookmarks
    //#output(void pcReplaceFields(int[])): Param_0.childFolders
    //#output(void pcReplaceFields(int[])): Param_0.description
    //#output(void pcReplaceFields(int[])): Param_0.id
    //#output(void pcReplaceFields(int[])): Param_0.name
    //#output(void pcReplaceFields(int[])): Param_0.parentFolder
    //#output(void pcReplaceFields(int[])): Param_0.path
    //#output(void pcReplaceFields(int[])): Param_0.website
    //#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/WeblogBookmarkFolder
    //#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[15] (void pcReplaceFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.bookmarks)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.childFolders)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.description)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.id)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.name)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.parentFolder)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.path)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.website)
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceObjectField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceStringField
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceFields(int[])
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#WeblogBookmarkFolder.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.WeblogBookmarkFolder
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#input(void pcProvideField(int)): Param_0
    //#input(void pcProvideField(int)): Param_0.bookmarks
    //#input(void pcProvideField(int)): Param_0.childFolders
    //#input(void pcProvideField(int)): Param_0.description
    //#input(void pcProvideField(int)): Param_0.id
    //#input(void pcProvideField(int)): Param_0.name
    //#input(void pcProvideField(int)): Param_0.parentFolder
    //#input(void pcProvideField(int)): Param_0.path
    //#input(void pcProvideField(int)): Param_0.pcStateManager
    //#input(void pcProvideField(int)): Param_0.website
    //#input(void pcProvideField(int)): Param_1
    //#input(void pcProvideField(int)): pcInheritedFieldCount
    //#pre[9] (void pcProvideField(int)): Param_0.pcStateManager != null
    //#pre[12] (void pcProvideField(int)): Param_1 - pcInheritedFieldCount in 0..7
    //#pre[13] (void pcProvideField(int)): init'ed(pcInheritedFieldCount)
    //#pre[2] (void pcProvideField(int)): (soft) init'ed(Param_0.bookmarks)
    //#pre[3] (void pcProvideField(int)): (soft) init'ed(Param_0.childFolders)
    //#pre[4] (void pcProvideField(int)): (soft) init'ed(Param_0.description)
    //#pre[5] (void pcProvideField(int)): (soft) init'ed(Param_0.id)
    //#pre[6] (void pcProvideField(int)): (soft) init'ed(Param_0.name)
    //#pre[7] (void pcProvideField(int)): (soft) init'ed(Param_0.parentFolder)
    //#pre[8] (void pcProvideField(int)): (soft) init'ed(Param_0.path)
    //#pre[10] (void pcProvideField(int)): (soft) init'ed(Param_0.website)
    //#test_vector(void pcProvideField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcProvideField(int)
    //#WeblogBookmarkFolder.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcProvideField: Param_1 - pcInheritedFieldCount in 0..7
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcProvideFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..7
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcProvideField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..7
    //#    callee file: WeblogBookmarkFolder.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..7}
    //#    Bad: {-6_442_450_943..-1, 8..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.bookmarks
    //#input(void pcProvideFields(int[])): Param_0.childFolders
    //#input(void pcProvideFields(int[])): Param_0.description
    //#input(void pcProvideFields(int[])): Param_0.id
    //#input(void pcProvideFields(int[])): Param_0.name
    //#input(void pcProvideFields(int[])): Param_0.parentFolder
    //#input(void pcProvideFields(int[])): Param_0.path
    //#input(void pcProvideFields(int[])): Param_0.pcStateManager
    //#input(void pcProvideFields(int[])): Param_0.website
    //#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/WeblogBookmarkFolder]
    //#input(void pcProvideFields(int[])): __Descendant_Table[others]
    //#input(void pcProvideFields(int[])): __Dispatch_Table.pcProvideField(I)V
    //#input(void pcProvideFields(int[])): pcInheritedFieldCount
    //#pre[12] (void pcProvideFields(int[])): Param_1 != null
    //#pre[13] (void pcProvideFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcProvideFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogBookmarkFolder
    //#pre[3] (void pcProvideFields(int[])): (soft) init'ed(Param_0.bookmarks)
    //#pre[4] (void pcProvideFields(int[])): (soft) init'ed(Param_0.childFolders)
    //#pre[5] (void pcProvideFields(int[])): (soft) init'ed(Param_0.description)
    //#pre[6] (void pcProvideFields(int[])): (soft) init'ed(Param_0.id)
    //#pre[7] (void pcProvideFields(int[])): (soft) init'ed(Param_0.name)
    //#pre[8] (void pcProvideFields(int[])): (soft) init'ed(Param_0.parentFolder)
    //#pre[9] (void pcProvideFields(int[])): (soft) init'ed(Param_0.path)
    //#pre[10] (void pcProvideFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[11] (void pcProvideFields(int[])): (soft) init'ed(Param_0.website)
    //#pre[14] (void pcProvideFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[15] (void pcProvideFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedObjectField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedStringField
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcProvideFields(int[])
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_0
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.bookmarks
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.childFolders
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.description
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.id
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.name
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.parentFolder
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.path
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_1.website
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): Param_2
    //#input(void pcCopyField(WeblogBookmarkFolder, int)): pcInheritedFieldCount
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.bookmarks
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.childFolders
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.description
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.id
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.name
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.parentFolder
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.path
    //#output(void pcCopyField(WeblogBookmarkFolder, int)): Param_0.website
    //#pre[2] (void pcCopyField(WeblogBookmarkFolder, int)): Param_1 != null
    //#pre[12] (void pcCopyField(WeblogBookmarkFolder, int)): Param_2 - pcInheritedFieldCount in 0..7
    //#pre[21] (void pcCopyField(WeblogBookmarkFolder, int)): init'ed(pcInheritedFieldCount)
    //#pre[3] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.bookmarks)
    //#pre[4] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.childFolders)
    //#pre[5] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.description)
    //#pre[6] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.id)
    //#pre[7] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.name)
    //#pre[8] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.parentFolder)
    //#pre[9] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.path)
    //#pre[10] (void pcCopyField(WeblogBookmarkFolder, int)): (soft) init'ed(Param_1.website)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.bookmarks)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.childFolders)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.description)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.id)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.name)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.parentFolder)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.path)
    //#post(void pcCopyField(WeblogBookmarkFolder, int)): possibly_updated(Param_0.website)
    //#unanalyzed(void pcCopyField(WeblogBookmarkFolder, int)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyField(WeblogBookmarkFolder, int)): Effects-of-calling:java.lang.String:length
    //#test_vector(void pcCopyField(WeblogBookmarkFolder, int)): Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyField(WeblogBookmarkFolder, int)
    //#WeblogBookmarkFolder.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcCopyField: Param_2 - pcInheritedFieldCount in 0..7
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcCopyFields(Object, int[])
    //#    basic block: bb_2
    //#    assertion: Param_2[Local_4] - pcInheritedFieldCount in 0..7
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogBookmarkFolder.pcCopyField(WeblogBookmarkFolder, int)
    //#    callee assertion: Param_2 - pcInheritedFieldCount in 0..7
    //#    callee file: WeblogBookmarkFolder.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 
    //#    VN: Param_2[Local_4] - pcInheritedFieldCount
    //#    Expected: {0..7}
    //#    Bad: {-6_442_450_943..-1, 8..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.bookmarks
    //#input(void pcCopyFields(Object, int[])): Param_1.childFolders
    //#input(void pcCopyFields(Object, int[])): Param_1.description
    //#input(void pcCopyFields(Object, int[])): Param_1.id
    //#input(void pcCopyFields(Object, int[])): Param_1.name
    //#input(void pcCopyFields(Object, int[])): Param_1.parentFolder
    //#input(void pcCopyFields(Object, int[])): Param_1.path
    //#input(void pcCopyFields(Object, int[])): Param_1.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1.website
    //#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/WeblogBookmarkFolder]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[others]
    //#input(void pcCopyFields(Object, int[])): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder;I)V
    //#input(void pcCopyFields(Object, int[])): pcInheritedFieldCount
    //#output(void pcCopyFields(Object, int[])): Param_0.bookmarks
    //#output(void pcCopyFields(Object, int[])): Param_0.childFolders
    //#output(void pcCopyFields(Object, int[])): Param_0.description
    //#output(void pcCopyFields(Object, int[])): Param_0.id
    //#output(void pcCopyFields(Object, int[])): Param_0.name
    //#output(void pcCopyFields(Object, int[])): Param_0.parentFolder
    //#output(void pcCopyFields(Object, int[])): Param_0.path
    //#output(void pcCopyFields(Object, int[])): Param_0.website
    //#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/WeblogBookmarkFolder
    //#pre[15] (void pcCopyFields(Object, int[])): Param_1.pcStateManager != null
    //#pre[17] (void pcCopyFields(Object, int[])): Param_2 != null
    //#pre[18] (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/WeblogBookmarkFolder
    //#pre[8] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.bookmarks)
    //#pre[9] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.childFolders)
    //#pre[10] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.description)
    //#pre[11] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.id)
    //#pre[12] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.name)
    //#pre[13] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.parentFolder)
    //#pre[14] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.path)
    //#pre[16] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.website)
    //#pre[19] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_2[0..4_294_967_295])
    //#pre[28] (void pcCopyFields(Object, int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.bookmarks)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.childFolders)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.description)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.id)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.name)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.parentFolder)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.path)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.website)
    //#unanalyzed(void pcCopyFields(Object, int[])): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyFields(Object, int[])): Effects-of-calling:java.lang.String:length
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyFields(Object, int[])
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetGenericContext()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcFetchObjectId()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsDeleted()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsDirty()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isNew()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsNew()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsPersistent()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcIsTransactional()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:serializing()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcSerializing()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:: end of method: StateManager org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetStateManager()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcGetVersion()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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}
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcReplaceStateManager(StateManager)
    //#WeblogBookmarkFolder.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(FieldSupplier, Object) always ends with an exception
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogBookmarkFolder.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(Object) always ends with an exception
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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_292
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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)): possibly_updated(Param_0.id)
    //#unanalyzed(void pcCopyKeyFieldsFromObjectId(Object)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyKeyFieldsFromObjectId(Object)): Effects-of-calling:java.lang.String:length
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogBookmarkFolder.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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$WeblogBookmarkFolder
    //#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$WeblogBookmarkFolder == old class$Lorg$apache$roller$weblogger$pojos$WeblogBookmarkFolder
    //#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
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewObjectIdInstance(Object)
    //#WeblogBookmarkFolder.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogBookmarkFolder.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    method: Object pcNewObjectIdInstance()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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$WeblogBookmarkFolder
    //#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$WeblogBookmarkFolder == old class$Lorg$apache$roller$weblogger$pojos$WeblogBookmarkFolder
    //#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
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.pcNewObjectIdInstance()
    //#WeblogBookmarkFolder.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
    //#    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/WeblogBookmarkFolder]
    //#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/WeblogBookmarkFolder
    //#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}
    //#WeblogBookmarkFolder.java:: end of method: Boolean org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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)
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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/WeblogBookmarkFolder]
    //#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/WeblogBookmarkFolder
    //#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
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.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/WeblogBookmarkFolder]
    //#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/WeblogBookmarkFolder
    //#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)
    //#WeblogBookmarkFolder.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogBookmarkFolder.readObject(ObjectInputStream)
    //#WeblogBookmarkFolder.java:: end of class: org.apache.roller.weblogger.pojos.WeblogBookmarkFolder
