docs: public static double getRobustTreeEditDistance(String dom1, String dom2) {
  
  		LblTree domTree1 = null, domTree2 = null;
  		try {
  			domTree1 = getDomTree(dom1);
  			domTree2 = getDomTree(dom2);
  		} catch (IOException e) {
  			e.printStackTrace();
  		}
  
  		double DD = 0.0;
  		RTED_InfoTree_Opt rted;
  		double ted;
  
  		rted = new RTED_InfoTree_Opt(1, 1, 1);
  
  		// compute tree edit distance
  		rted.init(domTree1, domTree2);
  
  		int maxSize = Math.max(domTree1.getNodeCount(), domTree2.getNodeCount());
  
  		rted.computeOptimalStrategy();
  		ted = rted.nonNormalizedTreeDist();
  		ted /= (double) maxSize;
  
  		DD = ted;
  		return DD;
  	}