public void removePathPrefix(final int length){
  final char[] a=new char[path.length - length];
  System.arraycopy(path,length,a,0,a.length);
  path=a;
}

public void removePathPrefix ( final int length ) { final char [ ] a = new char [ path . length - length ] ; System . arraycopy ( path , length , a , 0 , a . length ) ; path = a ; }
removes a prefix from the path of this node .
