Alright, then I think we should just not distribute the javadoc jars for now. Given that its in Bo's directory, I can't delete them and he's undoubtedly asleep for a few more hours :-).
OK, I just woke up and the javadoc jars distribution are removed now. Cheers, Bo
