7.1 has 3.1.1 as the bundled server. 7.1.1 will bundle 3.1.2 in its installer.
There are places in the plugin where instances of 3.1.1 appears that need to be converted to 3.1.2.
Some of the places:
The default value for the 'Download now' server choice.
various error messages and descriptive texts
These need to be evaluated and changed appropriately.
the changes are ready... but I need to confirm the url of the released bits to support the 'Download Now' feature.
Thanks; when you've confirmed this, just mark this issue as fixed (assuming it's done in trunk), so Jiri can verify and then you can proceed with the integration to the release71_fixes branch per http://wiki.netbeans.org/NetBeansPatchesProcess.
Integrated into 'main-golden', will be available in build *201201250600* on http://bits.netbeans.org/dev/nightly/ (upload may still be in progress)
User: vince kraemer <email@example.com>
Log: #206997: make 3.1.2 the default
http://hg.netbeans.org/releases/rev/88731f01376f spec bump