Various bug fixes for probelm IDs.  Otherwise OK, but can't get the Whiley Standard Library to work.
Minor tweaks
Merge branch 'devel' of github.com:DavePearce/wyclipse into devel
Begun working on ways to cut out the JavaProject from the plugin completely.
Hmmm, needs a truck load of work.
Minor tweaks.
Some refactoring.
Working on the NewWhileyProjectCreationPage.
Little tweak so that the perspective opens when you create a new whiley project.
Updating the NewWhileyModuleWizard so that it doesn't rely on JDT stuff.
Put back the original wizards for creating projects and modules for now, in order that I can actually demo Wyclipse!!!
Based on Jurgen's advice, I'm adding the classpath and project files to the resporitory.  Its his fault if it all breaks.
Working on the wyclipse plugin.
Working on a properties page.  It's doing something, but not storing to the property store.
Merge branch 'devel' of github.com:DavePearce/wyclipse into devel
Modified property page so that it is only enabled for projects with the while nature.
The verification enable flag is working, but I can't figure out how to get it to take effect immediately.
Some useful progress
Updated wyjc-all jar, which now means it won't compile.
Merge branch 'devel' of github.com:DavePearce/wyclipse into devel