Fix Javadoc 8 syntax