Nick,
I can confirm that upgrading from 7 to 7.0.1 changes
-Djboss.discovery.directory.url=https://devstudio.jboss.com/updates/7.0/devstudio-directory.xml
on the jbdevstudio.app but not on the JBoss Developer Studio.app
Luis
Posted by forums
Original post:
https://community.jboss.org/message/842408#842408