Fix version numbering (add number for minor revision).
Fix Eclipse project.