function PrefixTree_6(prefixLength){
  var stackIndex;
  $stack_0[stackIndex = ++$stackDepth_0] = PrefixTree_6;
  this.prefixLength = ($location_0[stackIndex] = 'PrefixTree.java:' + '277' , prefixLength);
  $location_0[stackIndex] = 'PrefixTree.java:' + '348' , this.size = 0;
  $location_0[stackIndex] = 'PrefixTree.java:' + '349' , this.subtrees_0 = {}; 
  $location_0[stackIndex] = 'PrefixTree.java:' + '350' , this.suffixes = {}; 
  $stackDepth_0 = stackIndex - 1;
}