Updating Comments and Code Contracts