[Checkers] Source for Checkers Eclipse plugin

[Michael Ernst]

Adam-

A user of the Checkers Eclipse plugin says,

> I just had a quick glance at the current Eclipse plugin.
> I wondered if there is any repository with the source files of your 
> current implementation. A quick search didn't reveal what I was 
> searching for.

I sent him a tar file of the checkersPlugin directory, but can you make the
source code available on the Eclipse plugin webpage, or in the plugin
itself, or however the source code for such things is usually distributed?

                     Thanks,

                    -Mike