After changing a .dat file that specifies opt compiler options, a simple build isn't sufficient to cause the dependent generated sources to be rebuilt. I suspect the problem is a missing dependency in build.xml.
bulk defer open issues to 3.1.2
The problem is that the gen-targets only check if sources have been generated. They do not check if the files used to generate the sources are uptodate. The attached patch attempts to fix that problem.
The patch does not address the problem that the source files viewable in an IDE are not uptodate with respect to the source files used by a normal build.
Example: If a .dat file for options is changed and a new build is triggered, a new Options.java will be generated. This new Options.java is not on the build path for an Eclipse project because the Eclipse project uses files from the eclipse/gen-* directories. The eclipse/gen-* directories are not updated by normal builds.
patch committed in 10388:c64e36b8f70b
bulk close of all resolved issues in preparation for 3.1.3 release.