Javadoc contains copy of Java Arrays.binarySearch()

[Harald Mackamul]

We would like to use Jdom2 as a library in an Eclipse project. The IP check of the Eclipse Foundation complained about a copied snippet in the Javadoc of

org.jdom2.util.NamespaceStack.binarySearch(Namespace[] data, int left, int right, Namespace key)

Returns: the 'insertion point' - the following is copied from the Java Javadoc for Arrays.binarySearch() index of the search key, if it is contained in the array; otherwise, (-(insertion point) - 1) . The insertion point is defined as the point at which the key would be inserted into the array: the index of the first element greater than the key, or a.length if all elements in the array are less than the specified key. Note that this guarantees that the return value will be >= 0 if and only if the key is found.

I know that it is clearly marked as a copy but still causes IP problems.
Is it possible to replace the copied part with an own description ?

This would really help us to use Jdom2 and to provide the library as part of Eclipse Orbit in future.
Thanks.