Serialized Form (JPF API)

Package gov.nasa.jpf

Class gov.nasa.jpf.Config extends Properties implements Serializable

Serialized Fields

loader
```
ClassLoader loader
```
sources
```
ArrayList<E> sources
```
changeListeners
```
ArrayList<E> changeListeners
```
entrySequence
```
LinkedList<E> entrySequence
```
singletons
```
HashMap<K,V> singletons
```
CONFIG_ARGS
```
Object[] CONFIG_ARGS
```
args
```
String[] args
```
freeArgs
```
String[] freeArgs
```
initialNativeClasspath
```
String initialNativeClasspath
```
initialClasspath
```
String initialClasspath
```
initialSourcepath
```
String initialSourcepath
```
initialPeerPackages
```
String initialPeerPackages
```
initialNativeLibraries
```
String initialNativeLibraries
```

Package gov.nasa.jpf.search.heuristic
- Class gov.nasa.jpf.search.heuristic.StaticPriorityQueue extends TreeSet<PrioritizedState> implements Serializable
  - Serialized Fields
    - maxQueueSize
```
int maxQueueSize
```
Package gov.nasa.jpf.util
- Class gov.nasa.jpf.util.MutableInteger extends Number implements Serializable
  - Serialized Fields
    - value
```
int value
```
Package java.io
- Class java.io.FilePermission extends Permission implements Serializable
  
  serialVersionUID:
  
  7930732926638008763L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - actions
```
String actions
```
- Class java.io.ObjectStreamClass extends Object implements Serializable
  
  serialVersionUID:
  
  -6120832682080437368L
- Class java.io.SerializablePermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  8537212141160296410L
  - Serialized Fields
    - actions
```
String actions
```
Package java.lang
- Class java.lang.Boolean extends Object implements Serializable
  
  serialVersionUID:
  
  -3665804199014368530L
  - Serialized Fields
    - value
```
boolean value
```
- Class java.lang.Byte extends Number implements Serializable
  
  serialVersionUID:
  
  -7183698231559129828L
  - Serialized Fields
    - value
```
byte value
```
- Class java.lang.Character extends Object implements Serializable
  
  serialVersionUID:
  
  3786198910865385080L
  - Serialized Fields
    - value
```
char value
```
- Class java.lang.Class extends Object implements Serializable
  
  serialVersionUID:
  
  3206093459760846164L
  - Serialized Fields
    - name
```
String name
```
    - classLoader
```
ClassLoader classLoader
```
    - nativeId
```
int nativeId
```
      search global id of the corresponding ClassInfo, which factors in the classloader
    - isPrimitive
```
boolean isPrimitive
```
      to be set during of the corresponding class
- Class java.lang.Double extends Number implements Serializable
  
  serialVersionUID:
  
  -9172774392245257468L
  - Serialized Fields
    - value
```
double value
```
- Class java.lang.Enum extends Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - readObjectNoData
```
private void readObjectNoData()
                       throws ObjectStreamException
```
      Throws:
      
      ObjectStreamException
  - Serialized Fields
    - name
```
String name
```
    - ordinal
```
int ordinal
```
- Class java.lang.Float extends Number implements Serializable
  
  serialVersionUID:
  
  -2671257302660747028L
  - Serialized Fields
    - value
```
float value
```
- Class java.lang.Integer extends Number implements Serializable
  
  serialVersionUID:
  
  1360826667806852920L
  - Serialized Fields
    - value
```
int value
```
- Class java.lang.Long extends Number implements Serializable
  
  serialVersionUID:
  
  4290774380558885855L
  - Serialized Fields
    - value
```
long value
```
- Class java.lang.Number extends Object implements Serializable
  
  serialVersionUID:
  
  -8742448824652078965L
- Class java.lang.RuntimePermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  7399184964622342223L
- Class java.lang.Short extends Number implements Serializable
  
  serialVersionUID:
  
  7515723908773894738L
  - Serialized Fields
    - value
```
short value
```
- Class java.lang.String extends Object implements Serializable
  
  serialVersionUID:
  
  -6849794470754667710L
- Class java.lang.StringBuffer extends java.lang.AbstractStringBuilder implements Serializable
  
  serialVersionUID:
  
  3388685877147921107L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.lang.StringBuilder extends java.lang.AbstractStringBuilder implements Serializable
  
  serialVersionUID:
  
  4383685877147921099L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
Package java.lang.reflect
- Class java.lang.reflect.Proxy extends Object implements Serializable
  
  serialVersionUID:
  
  -2222568056686623797L
  - Serialized Fields
    - h
```
InvocationHandler h
```
- Class java.lang.reflect.ReflectPermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  7412737110241507485L

Package java.net

Class java.net.Inet4Address extends InetAddress implements Serializable

serialVersionUID:

3286316764910316507L
- Serialization Methods
  - writeReplace
```
private Object writeReplace()
                     throws ObjectStreamException
```
    Throws:
    
    ObjectStreamException

Class java.net.Inet6Address extends InetAddress implements Serializable

serialVersionUID:: 6880410070516793377L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:: IOException; ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

Serialized Fields

ipaddress
```
byte[] ipaddress
```
scope_id
```
int scope_id
```
scope_id_set
```
boolean scope_id_set
```
scope_ifname_set
```
boolean scope_ifname_set
```
ifname
```
String ifname
```

Class java.net.InetAddress extends Object implements Serializable

serialVersionUID:: 3286316764910316507L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:: IOException; ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

readResolve

private Object readResolve()
                    throws ObjectStreamException

Throws:: ObjectStreamException

readObjectNoData

private void readObjectNoData(ObjectInputStream arg0)
                       throws IOException,
                              ClassNotFoundException

Throws:: IOException; ClassNotFoundException

Class java.net.InetSocketAddress extends SocketAddress implements Serializable

serialVersionUID:: 5076001401234631237L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:: IOException; ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Throws:: ObjectStreamException

Class java.net.NetPermission extends BasicPermission implements Serializable

serialVersionUID:

-8343910153355041693L
Class java.net.SocketAddress extends Object implements Serializable

Class java.net.SocketPermission extends Permission implements Serializable

serialVersionUID:: -7204263841984476862L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:: IOException; ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

Serialized Fields
- actions
```
String actions
```

Class java.net.URI extends Object implements Serializable

serialVersionUID:: -6052424284110960213L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws ClassNotFoundException,
                        IOException

Throws:: ClassNotFoundException; IOException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

Serialized Fields
- string
```
String string
```

Class java.net.URL extends Object implements Serializable

serialVersionUID:: -7627629688361524110L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:: IOException; ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream arg0)
                  throws IOException

Throws:: IOException

Serialized Fields

protocol
```
String protocol
```
host
```
String host
```
port
```
int port
```
file
```
String file
```
authority
```
String authority
```
ref
```
String ref
```
hashCode
```
int hashCode
```

Package java.security
- Class java.security.AllPermission extends Permission implements Serializable
  
  serialVersionUID:
  
  -2916474571451318075L
- Class java.security.AuthProvider extends Provider implements Serializable
- Class java.security.BasicPermission extends Permission implements Serializable
  
  serialVersionUID:
  
  6279438298436773498L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
- Class java.security.CodeSigner extends Object implements Serializable
  
  serialVersionUID:
  
  6819288105193937581L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - signerCertPath
```
CertPath signerCertPath
```
    - timestamp
```
Timestamp timestamp
```
- Class java.security.CodeSource extends Object implements Serializable
  
  serialVersionUID:
  
  4977541819976013951L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - location
```
URL location
```
- Class java.security.GuardedObject extends Object implements Serializable
  
  serialVersionUID:
  
  -5240450096227834308L
  - Serialization Methods
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - object
```
Object object
```
    - guard
```
Guard guard
```
- Class java.security.Identity extends Object implements Serializable
  
  serialVersionUID:
  
  3609922007826600659L
  - Serialized Fields
    - name
```
String name
```
      Deprecated.
    - publicKey
```
PublicKey publicKey
```
      Deprecated.
    - info
```
String info
```
      Deprecated.
    - scope
```
IdentityScope scope
```
      Deprecated.
    - certificates
```
Vector<E> certificates
```
      Deprecated.
- Class java.security.IdentityScope extends Identity implements Serializable
  
  serialVersionUID:
  
  -2337346281189773310L
- Class java.security.KeyPair extends Object implements Serializable
  
  serialVersionUID:
  
  -7565189502268009837L
  - Serialized Fields
    - privateKey
```
PrivateKey privateKey
```
    - publicKey
```
PublicKey publicKey
```
- Class java.security.KeyRep extends Object implements Serializable
  
  serialVersionUID:
  
  -4757683898830641853L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
                      throws ObjectStreamException
```
      Throws:
      
      ObjectStreamException
  - Serialized Fields
    - type
```
KeyRep.Type type
```
    - algorithm
```
String algorithm
```
    - format
```
String format
```
    - encoded
```
byte[] encoded
```
- Class java.security.Permission extends Object implements Serializable
  
  serialVersionUID:
  
  -5636570222231596674L
  - Serialized Fields
    - name
```
String name
```
- Class java.security.PermissionCollection extends Object implements Serializable
  
  serialVersionUID:
  
  -6727011328946861783L
  - Serialized Fields
    - readOnly
```
boolean readOnly
```
- Class java.security.Permissions extends PermissionCollection implements Serializable
  
  serialVersionUID:
  
  4858622370623524688L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.security.Provider extends Properties implements Serializable
  
  serialVersionUID:
  
  -4298000515446427739L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - name
```
String name
```
    - info
```
String info
```
    - version
```
double version
```
- Class java.security.SecureRandomSpi extends Object implements Serializable
  
  serialVersionUID:
  
  -2991854161009191830L
- Class java.security.SecurityPermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  5236109936224050470L
- Class java.security.SignedObject extends Object implements Serializable
  
  serialVersionUID:
  
  720502720485447167L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - content
```
byte[] content
```
    - signature
```
byte[] signature
```
    - thealgorithm
```
String thealgorithm
```
- Class java.security.Signer extends Identity implements Serializable
  
  serialVersionUID:
  
  -1763464102261361480L
  - Serialized Fields
    - privateKey
```
PrivateKey privateKey
```
      Deprecated.
- Class java.security.Timestamp extends Object implements Serializable
  
  serialVersionUID:
  
  -5502683707821851294L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - timestamp
```
Date timestamp
```
    - signerCertPath
```
CertPath signerCertPath
```
- Class java.security.UnresolvedPermission extends Permission implements Serializable
  
  serialVersionUID:
  
  -4821973115467008846L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - type
```
String type
```
    - name
```
String name
```
    - actions
```
String actions
```
Package java.text
- Class java.text.AttributedCharacterIterator.Attribute extends Object implements Serializable
  
  serialVersionUID:
  
  -9142742483513960612L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
                      throws InvalidObjectException
```
      Throws:
      
      InvalidObjectException
  - Serialized Fields
    - name
```
String name
```
- Class java.text.DateFormat.Field extends java.text.Format.Field implements Serializable
  
  serialVersionUID:
  
  7441350119349544720L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
                      throws InvalidObjectException
```
      Throws:
      
      InvalidObjectException
  - Serialized Fields
    - calendarField
```
int calendarField
```
- Class java.text.DateFormatSymbols extends Object implements Serializable
  
  serialVersionUID:
  
  -5987973545549424702L
  - Serialization Methods
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - eras
```
String[] eras
```
    - months
```
String[] months
```
    - shortMonths
```
String[] shortMonths
```
    - weekdays
```
String[] weekdays
```
    - shortWeekdays
```
String[] shortWeekdays
```
    - ampms
```
String[] ampms
```
    - zoneStrings
```
String[][] zoneStrings
```
    - localPatternChars
```
String localPatternChars
```
    - locale
```
Locale locale
```
- Class java.text.DecimalFormatSymbols extends Object implements Serializable
  
  serialVersionUID:
  
  5772796243397350300L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - zeroDigit
```
char zeroDigit
```
    - groupingSeparator
```
char groupingSeparator
```
    - decimalSeparator
```
char decimalSeparator
```
    - perMill
```
char perMill
```
    - percent
```
char percent
```
    - digit
```
char digit
```
    - patternSeparator
```
char patternSeparator
```
    - infinity
```
String infinity
```
    - NaN
```
String NaN
```
    - minusSign
```
char minusSign
```
    - currencySymbol
```
String currencySymbol
```
    - intlCurrencySymbol
```
String intlCurrencySymbol
```
    - monetarySeparator
```
char monetarySeparator
```
    - exponential
```
char exponential
```
    - exponentialSeparator
```
String exponentialSeparator
```
    - locale
```
Locale locale
```
    - serialVersionOnStream
```
int serialVersionOnStream
```
- Class java.text.MessageFormat.Field extends java.text.Format.Field implements Serializable
  
  serialVersionUID:
  
  7899943957617360810L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
                      throws InvalidObjectException
```
      Throws:
      
      InvalidObjectException
Package java.util
- Class java.util.AbstractMap.SimpleEntry extends Object implements Serializable
  
  serialVersionUID:
  
  -8499721149061103585L
  - Serialized Fields
    - key
```
Object key
```
    - value
```
Object value
```
- Class java.util.AbstractMap.SimpleImmutableEntry extends Object implements Serializable
  
  serialVersionUID:
  
  7138329143949025153L
  - Serialized Fields
    - key
```
Object key
```
    - value
```
Object value
```
- Class java.util.ArrayDeque extends AbstractCollection<E> implements Serializable
  
  serialVersionUID:
  
  2340985798034038923L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.ArrayList extends AbstractList<E> implements Serializable
  
  serialVersionUID:
  
  8683452581122892189L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - size
```
int size
```
- Class java.util.BitSet extends Object implements Serializable
  
  serialVersionUID:
  
  7997698588986878753L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.Calendar extends Object implements Serializable
  
  serialVersionUID:
  
  -1807547505821590642L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - fields
```
int[] fields
```
    - isSet
```
boolean[] isSet
```
    - time
```
long time
```
    - isTimeSet
```
boolean isTimeSet
```
    - areFieldsSet
```
boolean areFieldsSet
```
    - lenient
```
boolean lenient
```
    - zone
```
TimeZone zone
```
    - firstDayOfWeek
```
int firstDayOfWeek
```
    - minimalDaysInFirstWeek
```
int minimalDaysInFirstWeek
```
    - nextStamp
```
int nextStamp
```
    - serialVersionOnStream
```
int serialVersionOnStream
```
- Class java.util.Currency extends Object implements Serializable
  
  serialVersionUID:
  
  -158308464356906721L
  - Serialization Methods
    - readResolve
```
private Object readResolve()
```
  - Serialized Fields
    - currencyCode
```
String currencyCode
```
- Class java.util.Date extends Object implements Serializable
  
  serialVersionUID:
  
  7523967970034938905L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.EnumMap extends AbstractMap<K extends Enum<K>,V> implements Serializable
  
  serialVersionUID:
  
  458661240069192865L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - keyType
```
Class<T> keyType
```
- Class java.util.EnumSet extends AbstractSet<E extends Enum<E>> implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws InvalidObjectException
```
      Throws:
      
      InvalidObjectException
    - writeReplace
```
Object writeReplace()
```
  - Serialized Fields
    - elementType
```
Class<T> elementType
```
    - universe
```
Enum<E extends Enum<E>>[] universe
```
- Class java.util.EventObject extends Object implements Serializable
  
  serialVersionUID:
  
  5516075349620653480L
- Class java.util.GregorianCalendar extends Calendar implements Serializable
  
  serialVersionUID:
  
  -8125100834729963327L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - gregorianCutover
```
long gregorianCutover
```
- Class java.util.HashMap extends AbstractMap<K,V> implements Serializable
  
  serialVersionUID:
  
  362498820763181265L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - threshold
```
int threshold
```
    - loadFactor
```
float loadFactor
```
- Class java.util.HashSet extends AbstractSet<E> implements Serializable
  
  serialVersionUID:
  
  -5024744406713321676L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.Hashtable extends Dictionary<K,V> implements Serializable
  
  serialVersionUID:
  
  1421746759512286392L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - threshold
```
int threshold
```
    - loadFactor
```
float loadFactor
```
- Class java.util.IdentityHashMap extends AbstractMap<K,V> implements Serializable
  
  serialVersionUID:
  
  8188218128353913216L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - size
```
int size
```
- Class java.util.LinkedHashMap extends HashMap<K,V> implements Serializable
  
  serialVersionUID:
  
  3801124242820219131L
  - Serialized Fields
    - accessOrder
```
boolean accessOrder
```
- Class java.util.LinkedHashSet extends HashSet<E> implements Serializable
  
  serialVersionUID:
  
  -2851667679971038690L
- Class java.util.LinkedList extends AbstractSequentialList<E> implements Serializable
  
  serialVersionUID:
  
  876323262645176354L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.Locale extends Object implements Serializable
  
  serialVersionUID:
  
  9149081749638150636L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
    - readResolve
```
private Object readResolve()
                    throws ObjectStreamException
```
      Throws:
      
      ObjectStreamException
- Class java.util.PriorityQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -7720805057305804111L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - size
```
int size
```
    - comparator
```
Comparator<T> comparator
```
- Class java.util.Properties extends Hashtable<Object,Object> implements Serializable
  
  serialVersionUID:
  
  4112578634029874840L
  - Serialized Fields
    - defaults
```
Properties defaults
```
- Class java.util.PropertyPermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  885438825399942851L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - actions
```
String actions
```
- Class java.util.SimpleTimeZone extends TimeZone implements Serializable
  
  serialVersionUID:
  
  -403250971215465050L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - startMonth
```
int startMonth
```
    - startDay
```
int startDay
```
    - startDayOfWeek
```
int startDayOfWeek
```
    - startTime
```
int startTime
```
    - startTimeMode
```
int startTimeMode
```
    - endMonth
```
int endMonth
```
    - endDay
```
int endDay
```
    - endDayOfWeek
```
int endDayOfWeek
```
    - endTime
```
int endTime
```
    - endTimeMode
```
int endTimeMode
```
    - startYear
```
int startYear
```
    - rawOffset
```
int rawOffset
```
    - useDaylight
```
boolean useDaylight
```
    - monthLength
```
byte[] monthLength
```
    - startMode
```
int startMode
```
    - endMode
```
int endMode
```
    - dstSavings
```
int dstSavings
```
    - serialVersionOnStream
```
int serialVersionOnStream
```
- Class java.util.Stack extends Vector<E> implements Serializable
  
  serialVersionUID:
  
  1224463164541339165L
- Class java.util.TimeZone extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - rawOffset
```
int rawOffset
```
    - ID
```
String ID
```
- Class java.util.TreeMap extends AbstractMap<K,V> implements Serializable
  
  serialVersionUID:
  
  919286545866124006L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - comparator
```
Comparator<T> comparator
```
- Class java.util.TreeSet extends AbstractSet<E> implements Serializable
  
  serialVersionUID:
  
  -2479143000061671589L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.UUID extends Object implements Serializable
  
  serialVersionUID:
  
  -4856846361193249489L
  - Serialized Fields
    - mostSigBits
```
long mostSigBits
```
    - leastSigBits
```
long leastSigBits
```
- Class java.util.Vector extends AbstractList<E> implements Serializable
  
  serialVersionUID:
  
  -2767605614048989439L
  - Serialization Methods
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - elementData
```
Object[] elementData
```
    - elementCount
```
int elementCount
```
    - capacityIncrement
```
int capacityIncrement
```
Package java.util.concurrent
- Class java.util.concurrent.ArrayBlockingQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -817911632652898426L
  - Serialized Fields
    - items
```
Object[] items
```
    - takeIndex
```
int takeIndex
```
    - putIndex
```
int putIndex
```
    - count
```
int count
```
    - lock
```
ReentrantLock lock
```
    - notEmpty
```
Condition notEmpty
```
    - notFull
```
Condition notFull
```
- Class java.util.concurrent.ConcurrentHashMap extends AbstractMap<K,V> implements Serializable
  
  serialVersionUID:
  
  7249069246763182397L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - segmentMask
```
int segmentMask
```
    - segmentShift
```
int segmentShift
```
    - segments
```
java.util.concurrent.ConcurrentHashMap.Segment<K,V>[] segments
```
- Class java.util.concurrent.ConcurrentLinkedDeque extends AbstractCollection<E> implements Serializable
  
  serialVersionUID:
  
  876323262645176354L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.concurrent.ConcurrentLinkedQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  196745693267521676L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.concurrent.ConcurrentSkipListMap extends AbstractMap<K,V> implements Serializable
  
  serialVersionUID:
  
  -8627078645895051609L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - comparator
```
Comparator<T> comparator
```
- Class java.util.concurrent.ConcurrentSkipListSet extends AbstractSet<E> implements Serializable
  
  serialVersionUID:
  
  -2479143111061671589L
  - Serialized Fields
    - m
```
ConcurrentNavigableMap<K,V> m
```
- Class java.util.concurrent.CopyOnWriteArrayList extends Object implements Serializable
  
  serialVersionUID:
  
  8673264195747942595L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.concurrent.CopyOnWriteArraySet extends AbstractSet<E> implements Serializable
  
  serialVersionUID:
  
  5457747651344034263L
  - Serialized Fields
    - al
```
CopyOnWriteArrayList<E> al
```
- Class java.util.concurrent.ForkJoinTask extends Object implements Serializable
  
  serialVersionUID:
  
  -7721805057305804111L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - status
```
int status
```
- Class java.util.concurrent.LinkedBlockingDeque extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -387911632671998426L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - capacity
```
int capacity
```
    - lock
```
ReentrantLock lock
```
    - notEmpty
```
Condition notEmpty
```
    - notFull
```
Condition notFull
```
- Class java.util.concurrent.LinkedBlockingQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -6903933977591709194L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - capacity
```
int capacity
```
    - count
```
AtomicInteger count
```
    - takeLock
```
ReentrantLock takeLock
```
    - notEmpty
```
Condition notEmpty
```
    - putLock
```
ReentrantLock putLock
```
    - notFull
```
Condition notFull
```
- Class java.util.concurrent.LinkedTransferQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -3223113410248163686L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
- Class java.util.concurrent.PriorityBlockingQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  5595510919245408276L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - lock
```
ReentrantLock lock
```
    - notEmpty
```
Condition notEmpty
```
    - q
```
PriorityQueue<E> q
```
- Class java.util.concurrent.RecursiveAction extends ForkJoinTask<Void> implements Serializable
  
  serialVersionUID:
  
  5232453952276485070L
- Class java.util.concurrent.RecursiveTask extends ForkJoinTask<V> implements Serializable
  
  serialVersionUID:
  
  5232453952276485270L
  - Serialized Fields
    - result
```
Object result
```
- Class java.util.concurrent.Semaphore extends Object implements Serializable
  
  serialVersionUID:
  
  -3222578661600680210L
  - Serialized Fields
    - sync
```
java.util.concurrent.Semaphore.Sync sync
```
- Class java.util.concurrent.SynchronousQueue extends AbstractQueue<E> implements Serializable
  
  serialVersionUID:
  
  -3223113410248163686L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - qlock
```
ReentrantLock qlock
```
    - waitingProducers
```
java.util.concurrent.SynchronousQueue.WaitQueue waitingProducers
```
    - waitingConsumers
```
java.util.concurrent.SynchronousQueue.WaitQueue waitingConsumers
```
Package java.util.concurrent.atomic
- Class java.util.concurrent.atomic.AtomicBoolean extends Object implements Serializable
  
  serialVersionUID:
  
  4654671469794556979L
  - Serialized Fields
    - value
```
int value
```
- Class java.util.concurrent.atomic.AtomicInteger extends Number implements Serializable
  
  serialVersionUID:
  
  6214790243416807050L
  - Serialized Fields
    - value
```
int value
```
- Class java.util.concurrent.atomic.AtomicIntegerArray extends Object implements Serializable
  
  serialVersionUID:
  
  2862133569453604235L
  - Serialized Fields
    - array
```
int[] array
```
- Class java.util.concurrent.atomic.AtomicLong extends Number implements Serializable
  
  serialVersionUID:
  
  1927816293512124184L
  - Serialized Fields
    - value
```
long value
```
- Class java.util.concurrent.atomic.AtomicLongArray extends Object implements Serializable
  
  serialVersionUID:
  
  -2308431214976778248L
  - Serialized Fields
    - array
```
long[] array
```
- Class java.util.concurrent.atomic.AtomicReference extends Object implements Serializable
  
  serialVersionUID:
  
  -1848883965231344442L
  - Serialized Fields
    - value
```
Object value
```
- Class java.util.concurrent.atomic.AtomicReferenceArray extends Object implements Serializable
  
  serialVersionUID:
  
  -6209656149925076980L
  - Serialized Fields
    - array
```
Object[] array
```
Package java.util.logging
- Class java.util.logging.Level extends Object implements Serializable
  
  serialVersionUID:
  
  -8176160795706313070L
  - Serialization Methods
    - readResolve
```
private Object readResolve()
```
  - Serialized Fields
    - name
```
String name
```
    - value
```
int value
```
    - resourceBundleName
```
String resourceBundleName
```
    - localizedLevelName
```
String localizedLevelName
```
- Class java.util.logging.LoggingPermission extends BasicPermission implements Serializable
  
  serialVersionUID:
  
  63564341580231582L
- Class java.util.logging.LogRecord extends Object implements Serializable
  
  serialVersionUID:
  
  5372048053134512534L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - level
```
Level level
```
    - sequenceNumber
```
long sequenceNumber
```
    - sourceClassName
```
String sourceClassName
```
    - sourceMethodName
```
String sourceMethodName
```
    - message
```
String message
```
    - threadID
```
int threadID
```
    - millis
```
long millis
```
    - thrown
```
Throwable thrown
```
    - loggerName
```
String loggerName
```
    - resourceBundleName
```
String resourceBundleName
```
Package sun.net.www.protocol.http
- Class sun.net.www.protocol.http.AuthCacheValue extends Object implements Serializable
- Class sun.net.www.protocol.http.AuthenticationInfo extends sun.net.www.protocol.http.AuthCacheValue implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream arg0)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - type
```
char type
```
    - authScheme
```
sun.net.www.protocol.http.AuthScheme authScheme
```
    - protocol
```
String protocol
```
    - host
```
String host
```
    - port
```
int port
```
    - realm
```
String realm
```
    - path
```
String path
```
    - s1
```
String s1
```
    - s2
```
String s2
```
Package sun.reflect.annotation
- Class sun.reflect.annotation.EnumConstantNotPresentExceptionProxy extends sun.reflect.annotation.ExceptionProxy implements Serializable
  
  serialVersionUID:
  
  -604662101303187330L
  - Serialized Fields
    - enumType
```
Class<T> enumType
```
    - constName
```
String constName
```
- Class sun.reflect.annotation.ExceptionProxy extends Object implements Serializable
- Class sun.reflect.annotation.TypeNotPresentExceptionProxy extends sun.reflect.annotation.ExceptionProxy implements Serializable
  
  serialVersionUID:
  
  5565925172427947573L
  - Serialized Fields
    - typeName
```
String typeName
```
    - cause
```
Throwable cause
```

Serialized Form

Package gov.nasa.jpf

Class gov.nasa.jpf.Config extends Properties implements Serializable

Serialized Fields

loader

sources

changeListeners

entrySequence

singletons

CONFIG_ARGS

args

freeArgs

initialNativeClasspath

initialClasspath

initialSourcepath

initialPeerPackages

initialNativeLibraries

Package gov.nasa.jpf.search.heuristic

Class gov.nasa.jpf.search.heuristic.StaticPriorityQueue extends TreeSet<PrioritizedState> implements Serializable

Serialized Fields

maxQueueSize

Package gov.nasa.jpf.util

Class gov.nasa.jpf.util.MutableInteger extends Number implements Serializable

Serialized Fields

value

Package java.io

Class java.io.FilePermission extends Permission implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

actions

Class java.io.ObjectStreamClass extends Object implements Serializable

Class java.io.SerializablePermission extends BasicPermission implements Serializable

Serialized Fields

actions

Package java.lang

Class java.lang.Boolean extends Object implements Serializable

Serialized Fields

value

Class java.lang.Byte extends Number implements Serializable

Serialized Fields

value

Class java.lang.Character extends Object implements Serializable

Serialized Fields

value

Class java.lang.Class extends Object implements Serializable

Serialized Fields

name

classLoader

nativeId

isPrimitive

Class java.lang.Double extends Number implements Serializable

Serialized Fields

value

Class java.lang.Enum extends Object implements Serializable

Serialization Methods

readObject

readObjectNoData

Serialized Fields

name

ordinal

Class java.lang.Float extends Number implements Serializable

Serialized Fields

value

Class java.lang.Integer extends Number implements Serializable

Serialized Fields

value

Class java.lang.Long extends Number implements Serializable

Serialized Fields

value

Class java.lang.Number extends Object implements Serializable

Class java.lang.RuntimePermission extends BasicPermission implements Serializable

Class java.lang.Short extends Number implements Serializable

Serialized Fields

value

Class java.lang.String extends Object implements Serializable

Class java.lang.StringBuffer extends java.lang.AbstractStringBuilder implements Serializable

Serialization Methods

readObject