Developing analysis and testing plug‐ins for modern IDEs: an experience report1. (3rd October 2012)