Steven Reiss - 2013-12-23

No -- never got around to it. You can remove the directory it was installed in and remove the plugin (in $ECLIPSE$/plugins/edu.brown.cs.*) where $ECLIPSE$ is your eclipse directory. The other files are in ~/.bubbles and they can be removed as well. In theory, running edu.brown.cs.bubbles.board.BoardSetup with the -Uninstall option does the eclipse and ~/.bubbles files, but that isn't tested and not easily accessible.