An example Java Plug-in for Eclipse