O pessoal do eclipse está rápido! Não tem nem 4 horas que reportei o bug e já tem sugestão de patch!
https://bugs.eclipse.org/bugs/attachment.cgi?id=125658
EDIT (várias horas depois): Os desenvolvedores do eclipse consideraram o bug corrigido e a correção já estará disponível na próxima versão.
EDIT 2: Mas o bug foi reaberto porque o patch foi demonstrado ser incompleto.
