Using the Solarized (light) theme, Java types are displayed in black. When selecting text, the selection color is also black, resulting in the effect that Java types are invisible on selected lines. If the text color and the selection color are the same, the text color should be changed or inverted in order to see the selected text. Possibly the selection color could be changed to a lighter color in the theme.