Files updated to reflect changes to STK