(SEND_HANDLE.get() != 0 && REC_HANDLE.get() == 0) ) {
System.err.println("Expected both send-handle and receive-handle, but only one was given");
System.exit(-1);
}
extInt = new ExternalInterface(this,
pf,
(ExternalSync) synchronizer,
(int) SEND_HANDLE.get(),
(int) REC_HANDLE.get());