[gwt-contrib] Re: Add JREIndex optimization to JdtCompiler (issue1318802)

[Scott Blum]

Point taken; I killed the old one and made it reference the new one.

-- 
http://groups.google.com/group/Google-Web-Toolkit-Contributors