Minor change to a Math patch: eliminate one common line.
Minor change to a Math patch: eliminate one common line.

jose/defects4j,rjust/defects4j,jose/defects4j,rjust/defects4j,rjust/defects4j,rjust/defects4j,jose/defects4j,jose/defects4j