question: 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 ; }
target:  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.