We have found the problem and have been able to add a fix/work-around for this. It looks like an underlying problem in JDT itself. But, our fix is definitely reducing the problem to some edge cases. We have created a bug report for the JDT project.
If you use the latest snapshot from a few minutes ago, your sample project should now compile successfully.