FYI I filed a bug report at Eclipse: See https://bugs.eclipse.org/bugs/show_bug.cgi?id=110412 Has anyone encountered that problem? -- Jean-Baptiste Quenot http://caraldi.com/jbq/