public static State loadBinary(DataInputStream dis) throws IOException {
  String[] phoneList;
  int phoneListLength=dis.readInt();
  if (phoneListLength == 0) {
    phoneList=null;
  }
 else {
    phoneList=new String[phoneListLength];
  }
  for (int i=0; i < phoneListLength; i++) {
    int index=dis.readInt();
    phoneList[i]=(String)phonemeTable.get(index);
  }
  return new FinalState(phoneList);
}

public static State loadBinary ( DataInputStream dis ) throws IOException { String [ ] phoneList ; int phoneListLength = dis . readInt ( ) ; if ( phoneListLength == 0 ) { phoneList = null ; } else { phoneList = new String [ phoneListLength ] ; } for ( int i = 0 ; i < phoneListLength ; i ++ ) { int index = dis . readInt ( ) ; phoneList [ i ] = ( String ) phonemeTable . get ( index ) ; } return new FinalState ( phoneList ) ; }
loads a finalstate object from the given input stream
