[jbosstools-dev] JBoss Tools 4.13.0.Final is now available

This is a stable release aimed at Eclipse 2019-06 users. Announcement Blog: https://tools.jboss.org/blog/ Eclipse Marketplace: https://marketplace.eclipse.org/content/jboss-tools Update Site: https://download.jboss.org/jbosstools/photon/stable/updates/ Zips: https://tools.jboss.org/downloads/jbosstools/photon/4.13.0.Final.html#zips Installation instructions: https://tools.jboss.org/downloads/installation.html New + Noteworthy (subject to change): https://tools.jboss.org/documentation/whatsnew/jbosstools/4.13.0.Final.html Schedule: https://issues.jboss.org/projects/JBIDE?selectedItem=com.atlassian.jira.j... SHA256 sums: * a597d2b096d974448873d53a7fdd0c99070d8a3d7e00ac493f2401fa64471001 jbosstools-4.13.0.Final-updatesite-core.zip * b8bd0aee890361cebf2ade5e0866314e620583306333a2e012dc314081d32367 jbosstools-4.13.0.Final-src.zip -- Jeff Maury Manager, DevTools Red Hat EMEA <https://www.redhat.com> jmaury(a)redhat.com @RedHat <https://twitter.com/redhat> Red Hat <https://www.linkedin.com/company/red-hat> Red Hat <https://www.facebook.com/RedHatInc> <https://www.redhat.com> <https://redhat.com/summit>