Supporting changes for TISTUD-6129 Alloy: add hover info for attribute names in Alloy .xml file


Supporting changes for TISTUD-6129 Alloy: add hover info for attribute names in Alloy .xml file