private String extractCollisionProbability(String outputMessage){
  String result="";
  int valIndex;
  int endValIndex;
  int startIndex=0;
  String[] labels={"calculated: ",",  observed: "};
  for (int i=0; i < 2; i++) {
    result=result + labels[i];
    valIndex=outputMessage.indexOf(" val = ",startIndex);
    if (valIndex > 0) {
      startIndex=valIndex + 7;
      endValIndex=startIndex;
      while (endValIndex < outputMessage.length() && (!Character.isWhitespace(outputMessage.charAt(endValIndex)))) {
        endValIndex++;
      }
      result=result + outputMessage.substring(startIndex,endValIndex);
      startIndex=endValIndex;
    }
  }
  return result;
}

private String extractCollisionProbability ( String outputMessage ) { String result = "" ; int valIndex ; int endValIndex ; int startIndex = 0 ; String [ ] labels = { "calculated: " , ",  observed: " } ; for ( int i = 0 ; i < 2 ; i ++ ) { result = result + labels [ i ] ; valIndex = outputMessage . indexOf ( " val = " , startIndex ) ; if ( valIndex > 0 ) { startIndex = valIndex + 7 ; endValIndex = startIndex ; while ( endValIndex < outputMessage . length ( ) && ( ! Character . isWhitespace ( outputMessage . charAt ( endValIndex ) ) ) ) { endValIndex ++ ; } result = result + outputMessage . substring ( startIndex , endValIndex ) ; startIndex = endValIndex ; } } return result ; }
extracts the fingerprint collision probability information line from the tlc_success message output by tlc when it finishes . this is a hack that must be recoded if tlc ' s output format changes .
