private String getNodeTypeAndDatabaseIdString(FeatureTree tree, TreeNode node) { StringBuilder sb = new StringBuilder(); // type-attribute // level of the tree sb.append(tree.getBabyTreeType()); sb.append("/"); if (tree.getClass() == JointlyCodingFeatureTree.class) { sb.append(tree.getAlignmentType()); sb.append("/"); } // name of the feature sb.append(tree.getFeatureName()); sb.append("_"); // unique node number - database_id -attribute int nodeIdentity = node.getNodeIdentityNumber(); sb.append(nodeIdentity); sb.append(" "); return sb.toString(); }