This is too late for 3.0.1 and does not deserve that release being withdrawn. But we should remove the 'eclipse' folder. It seems to contain only rubbish files.
Other than that, here is my belated +1. Ari -- --------------------------> Aristedes Maniatis GPG fingerprint CBFB 84B4 738D 4E87 5E5C 5EFA EF6A 7D2E 3E49 102A
