1023             }

  1023             }

  1024             hasCheckedSpecialAttributes = true;

  1024             hasCheckedSpecialAttributes = true;

  1025         }

  1025         }

  1026     }

  1026     }

  1027 

  1027 

  1029         try {

  1029         try {

  1030             maybeInstantiateVerifier();

  1030             maybeInstantiateVerifier();

  1031         } catch (IOException e) {

  1031         } catch (IOException e) {

  1032             throw new RuntimeException(e);

  1032             throw new RuntimeException(e);

  1033         }

  1033         }