A validation plugin for Eclipse