eclipse

Eclipse-platform related customizations and bug fixes.