public void print(TreeNode current)
    {   
    	if(current.hasChild()==false)
    	{
    		
    	}
    	else
    	{
    		Hashtable<Character, TreeNode> currentChildHash = current.getChildHash();
    		Enumeration<Character> currentChilds =currentChildHash.keys();
			while(currentChilds.hasMoreElements())
			{
				TreeNode currentChild=currentChildHash.get(currentChilds.nextElement());
				if(currentChild.hasChild()==false)
				{
					System.out.print("(Index:"+currentChild.getLeafIndex()+")");
				}
				//System.out.println(current.getPathLabel()+" -- "+currentChild.getPathLabel()+" [type=s];");
				System.out.println("["+current.getPathLabel()+";"+currentChild.getPathLabel()+"]"+"("+currentChild.getInputEdgeLabe()+")");
				print(currentChild);
			}
    	} 
    }