*/
  public static void string_destroyContext(String self) {
    { Context context = Stella.getStellaContext(self, true);

      if (!(context == null)) {
        context.destroyContext();
      }
    }
  }