Summary of changes: 0886a01... Disable parts dependent on Eclipse. (*) 8136515... Revert previous changes - they're wrong! (*) (*) This commit already existed in another branch; no separate mail sent