//# 2 errors, 726 messages
//#
/*
    //#UserEntry.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags
    //#UserEntry.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags__static_init
    //#UserEntry.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#UserEntry.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init
 * 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.webservices.adminprotocol.sdk;

import java.io.IOException;
import java.io.InputStream;
import java.util.Date;
import java.util.Locale;
import java.util.TimeZone;
import org.jdom.Document;
import org.jdom.Element;
import org.jdom.JDOMException;
import org.jdom.Text;
import org.jdom.input.SAXBuilder;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry.Attributes;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry.Types;

/**
 * This class describes a user entry; a user weblog resource.
 * @author jtb
 */
public class UserEntry extends Entry {
    /** XML tags that define a user entry. */
    static interface Tags {
        public static final String USER = "user";
        public static final String NAME = "name";
        public static final String SCREEN_NAME = "screen-name";
        public static final String FULL_NAME = "full-name";
        public static final String PASSWORD = "password";
        public static final String EMAIL_ADDRESS = "email-address";
        public static final String LOCALE = "locale";
        public static final String TIMEZONE = "timezone";
        public static final String DATE_CREATED = "date-created";
        public static final String ENABLED = "enabled";
    }
    
    private String name;
    private String screenName;
    private String fullName;
    private String password;
    private Locale locale;
    private TimeZone timezone;
    private Date dateCreated;
    private String emailAddress;
    private Boolean enabled;
    
    /** Construct an empty user entry */
    public UserEntry(String name, String urlPrefix) {
    //#UserEntry.java:63: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): "users"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): name
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): name._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.name
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): java.lang.StringBuilder:toString(...)
    //#pre[3] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): java.lang.StringBuilder:toString(...)._tainted == urlPrefix._tainted | name._tainted
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): this.name == name
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)): init'ed(this.name)
        setName(name);
        String href = urlPrefix + "/" + EntrySet.Types.USERS + "/" + name;
        setHref(href);
    }
    //#UserEntry.java:67: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(String, String)
    
    /** Construct a user entry from a JDOM element. */
    public UserEntry(Element e, String urlPrefix) {
    //#UserEntry.java:70: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): "invalid locale string: "._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): "users"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setFullName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setScreenName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): __Dispatch_Table.setTimezone(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): e
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Date(populate#2) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#1) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#2) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#3) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.dateCreated
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.emailAddress
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.enabled
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.fullName
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.locale
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.name
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.password
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.screenName
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.timezone
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): java.lang.StringBuilder:toString(...)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Date(populate#2)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#1)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#2)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#3)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): e != null
    //#pre[2] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.dateCreated == One-of{undefined, &new Date(populate#2)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.dateCreated in Addr_Set{null,&new Date(populate#2)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.emailAddress)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.enabled)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.fullName)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleString#2), &new Locale(LocaleString#3)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): this.locale == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.password)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.screenName)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): possibly_updated(this.timezone)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Date(populate#2) num objects <= 1
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#1) num objects == 0
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#2) num objects == 0
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): new Locale(LocaleString#3) num objects == 0
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:setHref
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.Long:valueOf
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.Long:longValue
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)): Effects-of-calling:java.lang.Boolean:valueOf
        populate(e, urlPrefix);
    //#UserEntry.java:71: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.populate: (soft) init'ed(this.name)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.name)
    //#    callee file: UserEntry.java
    //#    callee precondition index: [7]
    //#    callee srcpos: 84
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    }
    //#UserEntry.java:72: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(Element, String)
    
    public UserEntry(InputStream stream, String urlPrefix) throws JDOMException, IOException {
    //#UserEntry.java:74: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): "invalid locale string: "._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): "users"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setFullName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setScreenName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): __Dispatch_Table.setTimezone(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): stream
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Date(populate#2) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#1) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#2) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#3) num objects
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.dateCreated
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.emailAddress
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.enabled
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.fullName
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.locale
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.name
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.password
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.screenName
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.timezone
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): java.lang.StringBuilder:toString(...)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Date(populate#2)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#1)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#2)
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#3)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): org.jdom.Document:detachRootElement(...)@77 != null
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): org.jdom.input.SAXBuilder:build(...)@76 != null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.dateCreated == One-of{undefined, &new Date(populate#2)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.dateCreated in Addr_Set{null,&new Date(populate#2)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.emailAddress)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.enabled)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.fullName)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleString#2), &new Locale(LocaleString#3)}
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): this.locale == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.password)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.screenName)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): possibly_updated(this.timezone)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Date(populate#2) num objects <= 1
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#1) num objects == 0
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#2) num objects == 0
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): new Locale(LocaleString#3) num objects == 0
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:setHref
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.Long:valueOf
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.Long:longValue
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.util.Date
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)): Effects-of-calling:java.lang.Boolean:valueOf
        SAXBuilder sb = new SAXBuilder();
    //#UserEntry.java:75: Warning: method not available
    //#    -- call on void org.jdom.input.SAXBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    //#    unanalyzed callee: void org.jdom.input.SAXBuilder()
        Document d = sb.build(stream);
    //#UserEntry.java:76: Warning: method not available
    //#    -- call on Document org.jdom.input.SAXBuilder:build(InputStream)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    //#    unanalyzed callee: Document org.jdom.input.SAXBuilder:build(InputStream)
        Element e = d.detachRootElement();
    //#UserEntry.java:77: Warning: method not available
    //#    -- call on Element org.jdom.Document:detachRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    //#    unanalyzed callee: Element org.jdom.Document:detachRootElement()
        
        populate(e, urlPrefix);
    //#UserEntry.java:79: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.populate: (soft) init'ed(this.name)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.name)
    //#    callee file: UserEntry.java
    //#    callee precondition index: [7]
    //#    callee srcpos: 84
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    }
    //#UserEntry.java:80: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry(InputStream, String)
    
    private void populate(Element e, String urlPrefix) {
        // name (required)
        Element nameElement = e.getChild(Tags.NAME, NAMESPACE);
    //#UserEntry.java:84: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.populate(Element, String)
    //#UserEntry.java:84: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
    //#input(void populate(Element, String)): "."._tainted
    //#input(void populate(Element, String)): "invalid locale string: "._tainted
    //#input(void populate(Element, String)): "users"._tainted
    //#input(void populate(Element, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(void populate(Element, String)): __Descendant_Table[others]
    //#input(void populate(Element, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void populate(Element, String)): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setFullName(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setScreenName(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setTimezone(Ljava/lang/String;)V
    //#input(void populate(Element, String)): e
    //#input(void populate(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString]
    //#input(void populate(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void populate(Element, String)): this
    //#input(void populate(Element, String)): this.__Tag
    //#input(void populate(Element, String)): this.name
    //#input(void populate(Element, String)): this.name._tainted
    //#input(void populate(Element, String)): urlPrefix
    //#input(void populate(Element, String)): urlPrefix._tainted
    //#output(void populate(Element, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void populate(Element, String)): new Date(populate#2) num objects
    //#output(void populate(Element, String)): new Locale(LocaleString#1) num objects
    //#output(void populate(Element, String)): new Locale(LocaleString#2) num objects
    //#output(void populate(Element, String)): new Locale(LocaleString#3) num objects
    //#output(void populate(Element, String)): this.dateCreated
    //#output(void populate(Element, String)): this.emailAddress
    //#output(void populate(Element, String)): this.enabled
    //#output(void populate(Element, String)): this.fullName
    //#output(void populate(Element, String)): this.href
    //#output(void populate(Element, String)): this.locale
    //#output(void populate(Element, String)): this.name
    //#output(void populate(Element, String)): this.password
    //#output(void populate(Element, String)): this.screenName
    //#output(void populate(Element, String)): this.timezone
    //#new obj(void populate(Element, String)): java.lang.StringBuilder:toString(...)
    //#new obj(void populate(Element, String)): new Date(populate#2)
    //#new obj(void populate(Element, String)): new Locale(LocaleString#1)
    //#new obj(void populate(Element, String)): new Locale(LocaleString#2)
    //#new obj(void populate(Element, String)): new Locale(LocaleString#3)
    //#pre[1] (void populate(Element, String)): e != null
    //#pre[12] (void populate(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#pre[7] (void populate(Element, String)): (soft) init'ed(this.name)
    //#presumption(void populate(Element, String)): java.lang.Long:valueOf(...)@132 != null
    //#presumption(void populate(Element, String)): org.jdom.Element:getText(...)@114 == null
    //#post(void populate(Element, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void populate(Element, String)): this.dateCreated == One-of{old this.dateCreated, &new Date(populate#2)}
    //#post(void populate(Element, String)): possibly_updated(this.emailAddress)
    //#post(void populate(Element, String)): possibly_updated(this.enabled)
    //#post(void populate(Element, String)): possibly_updated(this.fullName)
    //#post(void populate(Element, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void populate(Element, String)): this.locale == One-of{old this.locale, null, &new Locale(LocaleString#1), &new Locale(LocaleString#2), &new Locale(LocaleString#3)}
    //#post(void populate(Element, String)): init'ed(this.name)
    //#post(void populate(Element, String)): possibly_updated(this.password)
    //#post(void populate(Element, String)): possibly_updated(this.screenName)
    //#post(void populate(Element, String)): possibly_updated(this.timezone)
    //#post(void populate(Element, String)): new Date(populate#2) num objects <= 1
    //#post(void populate(Element, String)): new Locale(LocaleString#1) num objects == 0
    //#post(void populate(Element, String)): new Locale(LocaleString#2) num objects == 0
    //#post(void populate(Element, String)): new Locale(LocaleString#3) num objects == 0
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void populate(Element, String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@100: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@106: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@112: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@118: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@124: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@130: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@136: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@84: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@94: Addr_Set{null}, Inverse{null}
        if (nameElement != null) {
            setName(nameElement.getText());
    //#UserEntry.java:86: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // href
        String href = urlPrefix + "/" + EntrySet.Types.USERS + "/" + getName();
        setHref(href);
        
        // full name
        Element fullNameElement = e.getChild(Tags.FULL_NAME, NAMESPACE);
    //#UserEntry.java:94: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (fullNameElement != null) {
            setFullName(fullNameElement.getText());
    //#UserEntry.java:96: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // screenname
        Element screenNameElement = e.getChild(Tags.SCREEN_NAME, NAMESPACE);
    //#UserEntry.java:100: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (screenNameElement != null) {
            setScreenName(screenNameElement.getText());
    //#UserEntry.java:102: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // password
        Element passwordElement = e.getChild(Tags.PASSWORD, NAMESPACE);
    //#UserEntry.java:106: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (passwordElement != null) {
            setPassword(passwordElement.getText());
    //#UserEntry.java:108: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // locale
        Element localeElement = e.getChild(Tags.LOCALE, Service.NAMESPACE);
    //#UserEntry.java:112: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (localeElement != null) {
            setLocale(localeElement.getText());
    //#UserEntry.java:114: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // timezone
        Element tzElement = e.getChild(Tags.TIMEZONE, Service.NAMESPACE);
    //#UserEntry.java:118: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (tzElement != null) {
            setTimezone(tzElement.getText());
    //#UserEntry.java:120: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // email address
        Element emailElement = e.getChild(Tags.EMAIL_ADDRESS, Service.NAMESPACE);
    //#UserEntry.java:124: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (emailElement != null) {
            setEmailAddress(emailElement.getText());
    //#UserEntry.java:126: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // created (optional)
        Element createdElement = e.getChild(Tags.DATE_CREATED, Service.NAMESPACE);
    //#UserEntry.java:130: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (createdElement != null) {
            setDateCreated(new Date(Long.valueOf(createdElement.getText()).longValue()));
    //#UserEntry.java:132: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // enabled
        Element enabledElement = e.getChild(Tags.ENABLED, Service.NAMESPACE);
    //#UserEntry.java:136: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (enabledElement != null) {
            setEnabled(Boolean.valueOf(enabledElement.getText()));
    //#UserEntry.java:138: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
    }
    //#UserEntry.java:140: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.populate(Element, String)
    
    
    public String getType() {
        return Types.USER;
    //#UserEntry.java:144: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"user"
    //#UserEntry.java:144: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getType()
    }
    
    public Document toDocument() {
        Element userElement = new Element(Tags.USER, NAMESPACE);
    //#UserEntry.java:148: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.toDocument()
    //#UserEntry.java:148: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getDateCreated()Ljava/util/Date;
    //#input(Document toDocument()): __Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getEnabled()Ljava/lang/Boolean;
    //#input(Document toDocument()): __Dispatch_Table.getFullName()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(Document toDocument()): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getPassword()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getScreenName()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getTimezone()Ljava/util/TimeZone;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(Document toDocument()): this
    //#input(Document toDocument()): this.__Tag
    //#input(Document toDocument()): this.dateCreated
    //#input(Document toDocument()): this.emailAddress
    //#input(Document toDocument()): this.enabled
    //#input(Document toDocument()): this.enabled._tainted
    //#input(Document toDocument()): this.fullName
    //#input(Document toDocument()): this.href
    //#input(Document toDocument()): this.locale
    //#input(Document toDocument()): this.locale._tainted
    //#input(Document toDocument()): this.name
    //#input(Document toDocument()): this.password
    //#input(Document toDocument()): this.screenName
    //#input(Document toDocument()): this.timezone
    //#output(Document toDocument()): new Document(toDocument#2) num objects
    //#output(Document toDocument()): return_value
    //#new obj(Document toDocument()): new Document(toDocument#2)
    //#pre[2] (Document toDocument()): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#pre[3] (Document toDocument()): init'ed(this.dateCreated)
    //#pre[4] (Document toDocument()): init'ed(this.emailAddress)
    //#pre[5] (Document toDocument()): init'ed(this.enabled)
    //#pre[7] (Document toDocument()): init'ed(this.fullName)
    //#pre[8] (Document toDocument()): init'ed(this.href)
    //#pre[9] (Document toDocument()): init'ed(this.locale)
    //#pre[11] (Document toDocument()): init'ed(this.name)
    //#pre[12] (Document toDocument()): init'ed(this.password)
    //#pre[13] (Document toDocument()): init'ed(this.screenName)
    //#pre[14] (Document toDocument()): init'ed(this.timezone)
    //#post(Document toDocument()): return_value == &new Document(toDocument#2)
    //#post(Document toDocument()): new Document(toDocument#2) num objects == 1
    //#test_vector(Document toDocument()): this.dateCreated: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.emailAddress: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.enabled: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.fullName: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.href: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.locale: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.name: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.password: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.screenName: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.timezone: Addr_Set{null}, Inverse{null}
        Document doc = new Document(userElement);
    //#UserEntry.java:149: Warning: method not available
    //#    -- call on void org.jdom.Document(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document(Element)
        
        // href
        String href = getHref();
        if (href != null) {
            userElement.setAttribute(Attributes.HREF, href);
    //#UserEntry.java:154: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
        }
        
        // name
        String name = getName();
        if (name != null) {
            Element nameElement = new Element(Tags.NAME, Service.NAMESPACE);
    //#UserEntry.java:160: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text nameText = new Text(name);
    //#UserEntry.java:161: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            nameElement.addContent(nameText);
    //#UserEntry.java:162: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(nameElement);
    //#UserEntry.java:163: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }

        // screen name
        String screenName = getScreenName();
        if (screenName != null) {
            Element screenNameElement = new Element(Tags.SCREEN_NAME, NAMESPACE);
    //#UserEntry.java:169: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text screenNameText = new Text(screenName);
    //#UserEntry.java:170: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            screenNameElement.addContent(screenNameText);
    //#UserEntry.java:171: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(screenNameElement);
    //#UserEntry.java:172: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }

        // full name
        String fullName = getFullName();
        if (fullName != null) {
            Element fullNameElement = new Element(Tags.FULL_NAME, NAMESPACE);
    //#UserEntry.java:178: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text fullNameText = new Text(fullName);
    //#UserEntry.java:179: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            fullNameElement.addContent(fullNameText);
    //#UserEntry.java:180: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(fullNameElement);
    //#UserEntry.java:181: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // password
        String password = getPassword();
        if (password != null) {
            Element passwordElement = new Element(Tags.PASSWORD, NAMESPACE);
    //#UserEntry.java:187: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text passwordText = new Text(password);
    //#UserEntry.java:188: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            passwordElement.addContent(passwordText);
    //#UserEntry.java:189: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(passwordElement);
    //#UserEntry.java:190: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // locale
        Locale locale = getLocale();
        if (locale != null) {
            Element localeElement = new Element(Tags.LOCALE, Service.NAMESPACE);
    //#UserEntry.java:196: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text localeText = new Text(getLocale().toString());
    //#UserEntry.java:197: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            localeElement.addContent(localeText);
    //#UserEntry.java:198: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(localeElement);
    //#UserEntry.java:199: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // timezone
        TimeZone timezone = getTimezone();
        if (timezone != null) {
            Element timezoneElement = new Element(Tags.TIMEZONE, Service.NAMESPACE);
    //#UserEntry.java:205: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text timezoneText = new Text(timezone.getID());
    //#UserEntry.java:206: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            timezoneElement.addContent(timezoneText);
    //#UserEntry.java:207: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(timezoneElement);
    //#UserEntry.java:208: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // email address
        String emailAddress = getEmailAddress();
        if (emailAddress != null) {
            Element emailAddressElement = new Element(Tags.EMAIL_ADDRESS, Service.NAMESPACE);
    //#UserEntry.java:214: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text emailAddressText = new Text(emailAddress);
    //#UserEntry.java:215: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            emailAddressElement.addContent(emailAddressText);
    //#UserEntry.java:216: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(emailAddressElement);
    //#UserEntry.java:217: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // creation date
        Date datedCreated = getDateCreated();
    //#UserEntry.java:221: Warning: unused assignment
    //#    unused assignment into datedCreated
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
        if (dateCreated != null) {
            Element dateCreatedElement = new Element(Tags.DATE_CREATED, Service.NAMESPACE);
    //#UserEntry.java:223: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text dateCreatedText = new Text(String.valueOf(dateCreated.getTime()));
    //#UserEntry.java:224: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            dateCreatedElement.addContent(dateCreatedText);
    //#UserEntry.java:225: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(dateCreatedElement);
    //#UserEntry.java:226: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // enabled
        Boolean enabled = getEnabled();
        if (enabled != null) {
            Element enabledElement = new Element(Tags.ENABLED, NAMESPACE);
    //#UserEntry.java:232: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text enabledText = new Text(enabled.toString());
    //#UserEntry.java:233: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            enabledElement.addContent(enabledText);
    //#UserEntry.java:234: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            userElement.addContent(enabledElement);
    //#UserEntry.java:235: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        return doc;
    //#UserEntry.java:238: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.toDocument()
    }
    
    /** Get the user name of this user entry. */
    public String getName() {
        return name;
    //#UserEntry.java:243: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getName()
    //#input(String getName()): this
    //#input(String getName()): this.name
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(this.name)
    //#post(String getName()): return_value == this.name
    //#post(String getName()): init'ed(return_value)
    //#UserEntry.java:243: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getName()
    }
    
    /** Set of the user name of this user entry. */
    public void setName(String name) {
        this.name = name;
    //#UserEntry.java:248: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setName(String)
    //#input(void setName(String)): name
    //#input(void setName(String)): this
    //#output(void setName(String)): this.name
    //#post(void setName(String)): this.name == name
    //#post(void setName(String)): init'ed(this.name)
    }
    //#UserEntry.java:249: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setName(String)

    /** Get the screen name of this user entry. */
    public String getScreenName() {
        return screenName;
    //#UserEntry.java:253: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getScreenName()
    //#input(String getScreenName()): this
    //#input(String getScreenName()): this.screenName
    //#output(String getScreenName()): return_value
    //#pre[2] (String getScreenName()): init'ed(this.screenName)
    //#post(String getScreenName()): return_value == this.screenName
    //#post(String getScreenName()): init'ed(return_value)
    //#UserEntry.java:253: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getScreenName()
    }

    /** Set the screen name of this user entry. */
    public void setScreenName(String screenName) {
        this.screenName = screenName;
    //#UserEntry.java:258: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setScreenName(String)
    //#input(void setScreenName(String)): screenName
    //#input(void setScreenName(String)): this
    //#output(void setScreenName(String)): this.screenName
    //#post(void setScreenName(String)): this.screenName == screenName
    //#post(void setScreenName(String)): init'ed(this.screenName)
    }
    //#UserEntry.java:259: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setScreenName(String)

    /** Get the full name of this user entry. */
    public String getFullName() {
        return fullName;
    //#UserEntry.java:263: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getFullName()
    //#input(String getFullName()): this
    //#input(String getFullName()): this.fullName
    //#output(String getFullName()): return_value
    //#pre[2] (String getFullName()): init'ed(this.fullName)
    //#post(String getFullName()): return_value == this.fullName
    //#post(String getFullName()): init'ed(return_value)
    //#UserEntry.java:263: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getFullName()
    }
    
    /** Set the full name of this user entry. */
    public void setFullName(String fullName) {
        this.fullName = fullName;
    //#UserEntry.java:268: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setFullName(String)
    //#input(void setFullName(String)): fullName
    //#input(void setFullName(String)): this
    //#output(void setFullName(String)): this.fullName
    //#post(void setFullName(String)): this.fullName == fullName
    //#post(void setFullName(String)): init'ed(this.fullName)
    }
    //#UserEntry.java:269: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setFullName(String)
    
    /** Get the password of this user entry. */
    public String getPassword() {
        return password;
    //#UserEntry.java:273: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getPassword()
    //#input(String getPassword()): this
    //#input(String getPassword()): this.password
    //#output(String getPassword()): return_value
    //#pre[2] (String getPassword()): init'ed(this.password)
    //#post(String getPassword()): return_value == this.password
    //#post(String getPassword()): init'ed(return_value)
    //#UserEntry.java:273: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getPassword()
    }
    
    /** Set the password of this user entry. */
    public void setPassword(String password) {
        this.password = password;
    //#UserEntry.java:278: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setPassword(String)
    //#input(void setPassword(String)): password
    //#input(void setPassword(String)): this
    //#output(void setPassword(String)): this.password
    //#post(void setPassword(String)): this.password == password
    //#post(void setPassword(String)): init'ed(this.password)
    }
    //#UserEntry.java:279: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setPassword(String)
    
    /** Get the locale string of this user entry. */
    public Locale getLocale() {
        return locale;
    //#UserEntry.java:283: method: Locale org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getLocale()
    //#input(Locale getLocale()): this
    //#input(Locale getLocale()): this.locale
    //#output(Locale getLocale()): return_value
    //#pre[2] (Locale getLocale()): init'ed(this.locale)
    //#post(Locale getLocale()): return_value == this.locale
    //#post(Locale getLocale()): init'ed(return_value)
    //#UserEntry.java:283: end of method: Locale org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getLocale()
    }
    
    /** Set the locale of this user entry. */
    public void setLocale(Locale locale) {
        this.locale = locale;
    //#UserEntry.java:288: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setLocale(Locale)
    //#input(void setLocale(Locale)): locale
    //#input(void setLocale(Locale)): this
    //#output(void setLocale(Locale)): this.locale
    //#post(void setLocale(Locale)): this.locale == locale
    //#post(void setLocale(Locale)): init'ed(this.locale)
    }
    //#UserEntry.java:289: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setLocale(Locale)
    
    /** Set the locale string of this user entry. */
    public void setLocale(String localeString) {
        this.locale = new LocaleString(localeString).getLocale();
    //#UserEntry.java:293: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setLocale(String)
    //#input(void setLocale(String)): "invalid locale string: "._tainted
    //#input(void setLocale(String)): localeString
    //#input(void setLocale(String)): localeString._tainted
    //#input(void setLocale(String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString]
    //#input(void setLocale(String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/LocaleString.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void setLocale(String)): this
    //#output(void setLocale(String)): new Locale(LocaleString#1) num objects
    //#output(void setLocale(String)): new Locale(LocaleString#2) num objects
    //#output(void setLocale(String)): new Locale(LocaleString#3) num objects
    //#output(void setLocale(String)): this.locale
    //#new obj(void setLocale(String)): new Locale(LocaleString#1)
    //#new obj(void setLocale(String)): new Locale(LocaleString#2)
    //#new obj(void setLocale(String)): new Locale(LocaleString#3)
    //#pre[1] (void setLocale(String)): localeString == null
    //#post(void setLocale(String)): this.locale == null
    //#post(void setLocale(String)): new Locale(LocaleString#1) num objects == 0
    //#post(void setLocale(String)): new Locale(LocaleString#2) num objects == 0
    //#post(void setLocale(String)): new Locale(LocaleString#3) num objects == 0
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void setLocale(String)): Effects-of-calling:java.lang.IllegalArgumentException
    }
    //#UserEntry.java:294: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setLocale(String)
    
    /** Get the timezone string of this user entry. */
    public TimeZone getTimezone() {
        return timezone;
    //#UserEntry.java:298: method: TimeZone org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getTimezone()
    //#input(TimeZone getTimezone()): this
    //#input(TimeZone getTimezone()): this.timezone
    //#output(TimeZone getTimezone()): return_value
    //#pre[2] (TimeZone getTimezone()): init'ed(this.timezone)
    //#post(TimeZone getTimezone()): return_value == this.timezone
    //#post(TimeZone getTimezone()): init'ed(return_value)
    //#UserEntry.java:298: end of method: TimeZone org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getTimezone()
    }
    
    /** Set the timezone of this user entry. */
    public void setTimezone(TimeZone timezone) {
        this.timezone = timezone;
    //#UserEntry.java:303: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setTimezone(TimeZone)
    //#input(void setTimezone(TimeZone)): this
    //#input(void setTimezone(TimeZone)): timezone
    //#output(void setTimezone(TimeZone)): this.timezone
    //#post(void setTimezone(TimeZone)): this.timezone == timezone
    //#post(void setTimezone(TimeZone)): init'ed(this.timezone)
    }
    //#UserEntry.java:304: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setTimezone(TimeZone)
    
    /** Set the timezone string of this user entry. */
    public void setTimezone(String timezoneString) {
        this.timezone = TimeZone.getTimeZone(timezoneString);
    //#UserEntry.java:308: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setTimezone(String)
    //#input(void setTimezone(String)): this
    //#input(void setTimezone(String)): timezoneString
    //#output(void setTimezone(String)): this.timezone
    //#post(void setTimezone(String)): init'ed(this.timezone)
    }
    //#UserEntry.java:309: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setTimezone(String)
    
    /** Get the date created of this user entry. */
    public Date getDateCreated() {
        return dateCreated;
    //#UserEntry.java:313: method: Date org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getDateCreated()
    //#input(Date getDateCreated()): this
    //#input(Date getDateCreated()): this.dateCreated
    //#output(Date getDateCreated()): return_value
    //#pre[2] (Date getDateCreated()): init'ed(this.dateCreated)
    //#post(Date getDateCreated()): return_value == this.dateCreated
    //#post(Date getDateCreated()): init'ed(return_value)
    //#UserEntry.java:313: end of method: Date org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getDateCreated()
    }
    
    /** Set the date created of this user entry. */
    public void setDateCreated(Date dateCreated) {
        this.dateCreated = dateCreated;
    //#UserEntry.java:318: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setDateCreated(Date)
    //#input(void setDateCreated(Date)): dateCreated
    //#input(void setDateCreated(Date)): this
    //#output(void setDateCreated(Date)): this.dateCreated
    //#post(void setDateCreated(Date)): this.dateCreated == dateCreated
    //#post(void setDateCreated(Date)): init'ed(this.dateCreated)
    }
    //#UserEntry.java:319: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setDateCreated(Date)
    
    /** Get the email address of this user entry. */
    public String getEmailAddress() {
        return emailAddress;
    //#UserEntry.java:323: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getEmailAddress()
    //#input(String getEmailAddress()): this
    //#input(String getEmailAddress()): this.emailAddress
    //#output(String getEmailAddress()): return_value
    //#pre[2] (String getEmailAddress()): init'ed(this.emailAddress)
    //#post(String getEmailAddress()): return_value == this.emailAddress
    //#post(String getEmailAddress()): init'ed(return_value)
    //#UserEntry.java:323: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getEmailAddress()
    }
    
    /** Set the email address of this user entry. */
    public void setEmailAddress(String emailAddress) {
        this.emailAddress = emailAddress;
    //#UserEntry.java:328: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setEmailAddress(String)
    //#input(void setEmailAddress(String)): emailAddress
    //#input(void setEmailAddress(String)): this
    //#output(void setEmailAddress(String)): this.emailAddress
    //#post(void setEmailAddress(String)): this.emailAddress == emailAddress
    //#post(void setEmailAddress(String)): init'ed(this.emailAddress)
    }
    //#UserEntry.java:329: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setEmailAddress(String)
    
    /** Test if a user entry is equal to this user entry. */
    public boolean equals(Object o) {
        if ( o == null || o.getClass() != this.getClass()) {
    //#UserEntry.java:333: method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getEnabled()Ljava/lang/Boolean;
    //#input(bool equals(Object)): __Dispatch_Table.getFullName()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(bool equals(Object)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getTimezone()Ljava/util/TimeZone;
    //#input(bool equals(Object)): __Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): o
    //#input(bool equals(Object)): o.__Tag
    //#input(bool equals(Object)): o.emailAddress
    //#input(bool equals(Object)): o.enabled
    //#input(bool equals(Object)): o.fullName
    //#input(bool equals(Object)): o.href
    //#input(bool equals(Object)): o.locale
    //#input(bool equals(Object)): o.name
    //#input(bool equals(Object)): o.timezone
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[others]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.__Tag
    //#input(bool equals(Object)): this.emailAddress
    //#input(bool equals(Object)): this.enabled
    //#input(bool equals(Object)): this.fullName
    //#input(bool equals(Object)): this.href
    //#input(bool equals(Object)): this.locale
    //#input(bool equals(Object)): this.name
    //#input(bool equals(Object)): this.timezone
    //#output(bool equals(Object)): return_value
    //#pre[2] (bool equals(Object)): (soft) o.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#pre[3] (bool equals(Object)): (soft) init'ed(o.emailAddress)
    //#pre[4] (bool equals(Object)): (soft) init'ed(o.enabled)
    //#pre[5] (bool equals(Object)): (soft) init'ed(o.fullName)
    //#pre[6] (bool equals(Object)): (soft) init'ed(o.href)
    //#pre[7] (bool equals(Object)): (soft) init'ed(o.locale)
    //#pre[8] (bool equals(Object)): (soft) init'ed(o.name)
    //#pre[9] (bool equals(Object)): (soft) init'ed(o.timezone)
    //#pre[11] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry
    //#pre[12] (bool equals(Object)): (soft) init'ed(this.emailAddress)
    //#pre[13] (bool equals(Object)): (soft) init'ed(this.enabled)
    //#pre[14] (bool equals(Object)): (soft) init'ed(this.fullName)
    //#pre[15] (bool equals(Object)): (soft) init'ed(this.href)
    //#pre[16] (bool equals(Object)): (soft) init'ed(this.locale)
    //#pre[17] (bool equals(Object)): (soft) init'ed(this.name)
    //#pre[18] (bool equals(Object)): (soft) init'ed(this.timezone)
    //#post(bool equals(Object)): init'ed(return_value)
    //#unanalyzed(bool equals(Object)): Effects-of-calling:java.lang.Object:equals
    //#unanalyzed(bool equals(Object)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(bool equals(Object)): Effects-of-calling:getType
    //#test_vector(bool equals(Object)): o: Addr_Set{null}, Inverse{null}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@339: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@342: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@345: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@348: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@351: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(...)@354: {1}, {0}
            return false;
        }
        
        UserEntry other = (UserEntry)o;
        
        if (!areEqual(getEmailAddress(), other.getEmailAddress())) {
    //#UserEntry.java:339: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getFullName(), other.getFullName())) {
    //#UserEntry.java:342: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getLocale(), other.getLocale())) {
    //#UserEntry.java:345: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getName(), other.getName())) {
    //#UserEntry.java:348: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getTimezone(), other.getTimezone())) {
    //#UserEntry.java:351: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getEnabled(), other.getEnabled())) {
    //#UserEntry.java:354: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry:areEqual(Object, Object)
            return false;
        }
        
        return super.equals(o);
    //#UserEntry.java:358: end of method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.equals(Object)
    }
    
    public Boolean getEnabled() {
        return enabled;
    //#UserEntry.java:362: method: Boolean org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getEnabled()
    //#input(Boolean getEnabled()): this
    //#input(Boolean getEnabled()): this.enabled
    //#output(Boolean getEnabled()): return_value
    //#pre[2] (Boolean getEnabled()): init'ed(this.enabled)
    //#post(Boolean getEnabled()): return_value == this.enabled
    //#post(Boolean getEnabled()): init'ed(return_value)
    //#UserEntry.java:362: end of method: Boolean org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.getEnabled()
    }
    
    public void setEnabled(Boolean enabled) {
        this.enabled = enabled;
    //#UserEntry.java:366: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setEnabled(Boolean)
    //#input(void setEnabled(Boolean)): enabled
    //#input(void setEnabled(Boolean)): this
    //#output(void setEnabled(Boolean)): this.enabled
    //#post(void setEnabled(Boolean)): this.enabled == enabled
    //#post(void setEnabled(Boolean)): init'ed(this.enabled)
    }
    //#UserEntry.java:367: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.setEnabled(Boolean)
    
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry$Tags]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry$Tags] == &__Dispatch_Table
    //#UserEntry.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags__static_init
    //#UserEntry.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry$Tags
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getEnabled()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getFullName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getLocale()Ljava/util/Locale;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getPassword()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getTimezone()Ljava/util/TimeZone;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setFullName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setLocale(Ljava/util/Locale;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setPassword(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setScreenName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setTimezone(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setTimezone(Ljava/util/TimeZone;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date; == &getDateCreated
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String; == &getEmailAddress
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getEnabled()Ljava/lang/Boolean; == &getEnabled
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getFullName()Ljava/lang/String; == &getFullName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getHref()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.getHref
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getLocale()Ljava/util/Locale; == &getLocale
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getPassword()Ljava/lang/String; == &getPassword
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String; == &getScreenName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getTimezone()Ljava/util/TimeZone; == &getTimezone
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;Ljava/lang/String;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setDateCreated(Ljava/util/Date;)V == &setDateCreated
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setEmailAddress(Ljava/lang/String;)V == &setEmailAddress
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setEnabled(Ljava/lang/Boolean;)V == &setEnabled
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setFullName(Ljava/lang/String;)V == &setFullName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.setHref
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setLocale(Ljava/lang/String;)V == &setLocale
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setLocale(Ljava/util/Locale;)V == &setLocale
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setPassword(Ljava/lang/String;)V == &setPassword
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setScreenName(Ljava/lang/String;)V == &setScreenName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setTimezone(Ljava/lang/String;)V == &setTimezone
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.setTimezone(Ljava/util/TimeZone;)V == &setTimezone
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#UserEntry.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry__static_init
    //#UserEntry.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UserEntry
