Fixed a broken build file dependency; fixes issue #67
Fixed a broken build file dependency; fixes issue #67

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