Fixes #5, but really contains the initial Eclipse tooling