186187188189190191192193194195196
// } // Prefix if (op instanceof PrefixOperator){ PrefixOperator po = ( PrefixOperator ) op; saveObject.put("PREFIXOPERATOR", po.toJSON(connectionsObject)); } } if(connectionsObject.length() > 0) { saveObject.put("CONNECTIONS", connectionsObject);