Я бы предпочел услышать о «действительно сложной» проблеме. Задайте вопрос об этом:)
Возвращаясь к актуальному вопросу, у вас мало общего с «оригинальным» источником Tomcat. JBoss, возможно, изменил вещи здесь и там. Они также изменяют файл ServerInfo.properties, который обычно находится где-то в catalina.jar и содержит точную версию Tomcat.
Но сама JBoss AS также имеет открытый исходный код. Почему бы вам просто не скачать с там ? Выберите файл с src внутри имени.