Ainsi parlait Guillaume Rousse : [..] > I'll report the bug to javadoc maintainers. Done (http://developer.java.sun.com/developer/bugParade/bugs/4646923.html)
Anyway, and before this is fixed in a next jdk release, any workaround idea ? Apart changing package names, of course :-) -- Guillaume Rousse <[EMAIL PROTECTED]> GPG key http://lis.snv.jussieu.fr/~rousse/gpgkey.html -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
