Javadoc fixes to make it working under JDK 8 Javadoc.
Now pitest works with Java 8.