public static void pprintOperatorWithArguments(String operatorname, Vector arguments, boolean separatelinesP, boolean omitlastargumentP, org.powerloom.PrintableStringWriter stream) {
    { int operatorindent = operatorname.length() + 2;

      stream.print("(" + operatorname + " ");
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + operatorindent);
      OntosaurusUtil.pprintArguments(arguments, separatelinesP, omitlastargumentP, stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - operatorindent);
      stream.print(")");
    }
  }