maven-plugin for 7.1.0

There was a vaadin-maven-plugin for 7.1.0.beta1.

Where can the corresponding vaadin-maven-plugin be downloaded for 7.1.0?

Already in Maven Central as I replied in the other thread, so no need to specify any custom repository for it.

Yes they are (http://search.maven.org/#search|ga|1|vaadin). Thank you Henri.

Must have been an indexing issue with our Nexus repository, required updating remote indexes on Central.