やっぱり Eclipse 4.2 (Junu) は、遅かった。https://bugs.eclipse.org/bugs/show_bug.cgi?id=385272バグとして認識されているよう。ちょっと現状では使用に耐えない。3.8に戻してからは、さらにそう思う。3.8に戻してからストレスが無くなった。