static public List<Tree<String>> readTreesFromFile(String path, String LP, String RP) throws IOException {
	    BufferedReader reader = new BufferedReader(new InputStreamReader(new FileInputStream(path),"UTF-8")); 
	    List<Tree<String>> ret = new ArrayList<Tree<String>>();
	    while (true) {
	      String line = reader.readLine();
	      if (line == null) break;
	      if (!line.trim().startsWith(LP)) continue;
	      ret.add(stringToTree(line, LP, RP));
	    }
	    return ret;
	  }