A series of documentation fixes so we can compile with a jdk8