private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionboolean defaultAutoCommit
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionPGpoint[] point
PGpoint center
double radius
PGpoint[] point
PGpoint[] point
boolean open
PGpoint[] points
PGpoint[] points
ServerErrorMessage _serverError
ServerErrorMessage serverError