Another baffling Eclipse bug:
The text was intended to be in all caps, but when I started writing, it came out mixed case. So I closed the file and started a new one. Now, going back to the transcript of the original file, I find that it appears to be mixed case initially (top picture), but as soon as I press page down, it transforms into all caps (bottom picture). Page up, and it's mixed case again. What in the flurgh?