method

net.sourceforge.pebble.util.ExceptionUtils__ static_init

method

void net.sourceforge.pebble.util.ExceptionUtils()

method	String getStackTraceAsString(Throwable)
presumption	java.io.StringWriter:getBuffer(...)@57 != null
post	return_value != null
test_vector	t: Addr_Set{null}, Inverse{null}