void rethrowPCE() {
      if (myException instanceof ProcessCanceledException) {
        // the case of some wise inspection modifying a non-physical document during highlighting to be interrupted
        throw (ProcessCanceledException)myException;
      }
    }
void rethrowPCE()