Per Gilles, we really should set the reentrant flags when building Java support