if (op instanceof AbstractTermOperator) {
final AbstractTermOperator ato = (AbstractTermOperator) op;
if (!ato.isChild()) {
try {
saveObject.put(this.checkName("AbstractTermOperator",
"AbstractTermOperator", 0), ato.toJSON());
} catch (final JSONException e) {
e.printStackTrace();
}
}
}