These annotations are available from Parasoft under an open-source license.