bugfix in deadlock detection for thread dumps: is now robust for older JVM versions