No JavaDoc is released for artifact com.vaadin:vaadin-push:7.1.13. Please try other versions.

Owner of the project? Troubleshoot following things:

• Retry this version. Sometimes it's just a matter of time to pick up new versions.
• Is the vaadin-push-7.1.13-javadoc.jar actually distributed to either maven or bintray?
• Does the vaadin-push-7.1.13-javadoc.jar file contains an index.html in the extracted root folder? (you can rename .jar to .zip to extract the file)

report to us if you tried everything but still doesn't work.