Eclipse 4.2 (Juno) workspace with dark theme for both UI and editor