fixes https://github.com/jeeeyul/eclipse-themes/issues/190