Final update sites for JBDS 4.0.0.GA are not ready

JBDS 4.0.GA final locations aren't still working:
https://devstudio.jboss.com/updates/4.0/techpreview (inaccessible)
https://devstudio.jboss.com/updates/4.0/extras/ (empty)
https://devstudio.jboss.com/updates/4.0/ (empty)