Looking in https://access.redhat.com/articles/2358611 I see that we have two different ways of presenting the jar filenames:

devstudio-<version>-installer-standalone.jar

and

 devstudio-version-installer-standalone.jar
devstudio-version-installer-eap.jar

Additionally, the correct filename for the installer sources [1] is:

devstudio-<version>-src.zip

not

devstudio-<version>-installer-src.zip

[1] https://access.redhat.com/jbossnetwork/restricted/softwareDetail.html?softwareId=44891&product=jbossdeveloperstudio&version=10.0.0&downloadType=distributions

Note that the instructions for building from source should also mention that it's way easier to build from github sources [2] than the src zip, since we plan to eliminate the src zip entirely in a future release.

[2] https://github.com/jbdevstudio/jbdevstudio-product