@Jason: I am using NetBeans under Linux, but I was not aware of Menu differences in the different operating systems.
And changing the vaadin.version property in the pom.xml is the same what changing the version in the GUI does. I am not a Maven expert, but if there are changes in dependencies, Maven should updated these on build due to this entry in pom.xml which declares automatic dependency import for the appropriate artifact group:
<dependencyManagement>
<dependencies>
<dependency>
<groupId>com.vaadin</groupId>
<artifactId>vaadin-bom</artifactId>
<version>${vaadin.version}</version>
<type>pom</type>
<scope>import</scope>
</dependency>
</dependencies>
</dependencyManagement>
which I guess is present also in your case.
