@Override public void print(StringBuilder out, FST value) { out.append("type=").append(value.getType().getShortName()); }