As Wags has mentioned it will be kept around for a while, it will give mission creators time to swap the TGP out from missions and campaigns and replace it with sniper.
Hi,
A restart of the launcher should help.
Also have you tried a repair yet? if not its worth a go. If you still have issues attach your dcs log so we can look for clues.
thank you