JBoss Tools Target Platform 4.31.5.Final has been released.

Changes
=======

* Nothing! (compared to 4.30.Alpha2). The only change is a rename to "Final".

Usage
=====
4.31.0.Final is what JBDS 7.0.1 will use.

All jobs in jenkins for branch jbosstools-4.1.0.x/JBDS 7.0.1 (namely the devstudio.product_70 job) have been updated to use TP 4.31.0.Final.

Download
========

Zip: http://download.jboss.org/jbosstools/targetplatforms/jbosstoolstarget/4.31.0.Final/jbosstoolstarget-4.31.0.Final.zip
p2 site: http://download.jboss.org/jbosstools/targetplatforms/jbosstoolstarget/4.30.0.Final/REPO/

Testing/Development
===================

You can try it out and use it directly like this:

    $ mvn clean verify -Dtpc.version=4.31.0.Final

For advanced usage and help (using in IDE, building a mirror locally, using a zip...), plese read https://github.com/jbosstools/jbosstools-devdoc/blob/master/building/target_platforms/target_platforms_for_consumers.md

What's next?
============

Branch 4.31.x for target platform has been prepared for potential upgrades, and it's version is now 4.31.1.Alpha1-SNAPSHOT.