A Balanced Verification Effort For The Java Language