Title: Proceedings of the 1st Workshop on Developing Tools As Plug-Ins