Are you using a recent build of JDT? One that has https://bugs.eclipse.org/bugs/show_bug.cgi?id=545621 or https://bugs.eclipse.org/bugs/show_bug.cgi?id=571363 fixed?
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
