fix javadocs to pass with JDK1.8 (which, for some inexplicable reason,
now flags any minor trivility as ERROR which prevents releasing).