Empty <p/> tags in Javadocs are an error under JDK 8