Replace the single method JavaDoc copied from the JDK with our own documentation, which is possibly also easier to grok