В случае, если вы хотите сообщить о проблеме с «Hello world» на developers.redhat.com, вам следует открыть jira для JBoss Developer системы отслеживания проблем в рамках проекта «Документы для разработчиков Red Hat», которая можно найти под ярлыком RHDEVDOCS или, если вы предпочитаете поднять проблему, в разделе «Комплект разработки контейнера», сообщите здесь CDK .
P.S. Вам, вероятно, нужно зарегистрироваться.