all original Java tests passed