<div dir="ltr"><div><div>FWIW, on things like that I usually make my life easier and just put something like<br></div><br>LOG /yadda/yadda  %.*Thread.*may.be.hung.*<br><br></div>there's always a remote chance of matching something else, but I can live with that. <br></div>