[Kotlin/dokka] New comment by yole on pull request...

# dokka

[user]

[Kotlin/dokka] New comment by yole on pull request #125: tools.jar
Is this actually needed? I think this is the same jar where all the rest of JRE classes are located, so if it's not on the classpath, we won't get to this point.