An Eclipse plugin for visualizing SMACK