Updated DarkTheme Eclipse instructions.