Testing the Eclipse plugin. Hopefully it works.