Fix up JSR-77 TCK