> > But I think we should file a bug, they are basically asking people who don't agree to file one. > Others have beat us to it. https://bugs.eclipse.org/bugs/show_bug.cgi?id=425244 Jim