public function __wakeup()
 {
     $args = array($this->__serialID, java_get_lifetime());
     $this->__client = __javaproxy_Client_getClient();
     if ($this->__tempGlobalRef) {
         $this->__client->globalRef = $this->__tempGlobalRef;
     }
     $this->__tempGlobalRef = null;
     $this->__java = $this->__client->invokeMethod(0, "deserialize", $args);
 }
function java_session_array($args)
{
    $client = __javaproxy_Client_getClient();
    if (!isset($args[0])) {
        $args[0] = null;
    }
    if (!isset($args[1])) {
        $args[1] = 0;
    } elseif ($args[1] === true) {
        $args[1] = 1;
    } else {
        $args[1] = 2;
    }
    if (!isset($args[2])) {
        $args[2] = java_get_lifetime();
    }
    return $client->getSession($args);
}