{
delegated = new Jdk16ThreadDumper();
}
else if (JDK15_SPECIFICATION_VERSION.equalsIgnoreCase(javaSpecificationVersion))
{
delegated = new Jdk15ThreadDumper();
}
else
{
// Falls back to regular Java API as a last step
delegated = new Jdk14ThreadDumper();