question: private static void printError ( int errorCode , String cause , Throwable throwable , boolean includeStackTrace ) { printError ( errorCode , cause ) ; if ( includeStackTrace ) { if ( TLCGlobals . debug ) { DebugPrinter . print ( "printing stacktrace in printError(int, Throwable, boolean)" ) ; throwable . printStackTrace ( ToolIO . out ) ; } } }
target:  Prints the error by code and the provided exception.   All calls of this method have includeStackTrace true.  This printing of the stack trace was added in tlc2--probably by SZ.  The stack trace provides no useful information to the user, so LL changed this on 20 Mar 2012 so the trace is printed only when TLC is called with the -debug option. 