On Wed, Dec 5, 2012 at 1:30 PM, Tom Burton-West <tburt...@umich.edu> wrote:

> java.version=1.6.0_16


Tom can you use a newer java version for this? That's pretty old, and
seeing such a crazy field number worries me that its some jvm bug.

you could even try to run the checkindex itself with a newer java, just in
case the index is fine (it might not be)

Reply via email to