Buggy code:
public class MailerModel extends AbstractTestElement implements Serializable { private long failureCount = 0 ; private long successCount = 0 ; private boolean failureMsgSent = false ; private boolean siteDown = false ; private boolean successMsgSent = false ; private static final String FROM_KEY = "MailerModel.fromAddress" ; private static final String TO_KEY = "MailerModel.addressie" ; private static final String HOST_KEY = "MailerModel.smtpHost" ; private static final String SUCCESS_SUBJECT = "MailerModel.successSubject" ; private static final String FAILURE_SUBJECT = "MailerModel.failureSubject" ; private static final String FAILURE_LIMIT_KEY = "MailerModel.failureLimit" ; private static final String SUCCESS_LIMIT_KEY = "MailerModel.successLimit" ; private static transient Logger log = LoggingManager . getLoggerForClass ( ) ; ChangeListener changeListener ; public MailerModel ( ) { } public void addChangeListener ( ChangeListener list ) { } public Object clone ( ) { } public synchronized boolean isFailing ( ) { } public void notifyChangeListeners ( ) { } public synchronized Vector getAddressVector ( ) { } public synchronized void add ( SampleResult sample ) { if ( ! ( sample . isSuccessful ( ) ) ) { ( failureCount ) ++ ; successCount = 0 ; } else { ( successCount ) ++ ; } if ( ( ( this . isFailing ( ) ) && ( ! ( siteDown ) ) ) && ( ! ( failureMsgSent ) ) ) { Vector addressVector = getAddressVector ( ) ; if ( ( addressVector . size ( ) ) != 0 ) { try { sendMail ( getFromAddress ( ) , addressVector , getFailureSubject ( ) , ( "URL<seq2seq4repair_space>Failed:<seq2seq4repair_space>" + ( sample . getSampleLabel ( ) ) ) , getSmtpHost ( ) ) ; } catch ( Exception e ) { MailerModel . log . error ( "Problem<seq2seq4repair_space>sending<seq2seq4repair_space>mail" , e ) ; } siteDown = true ; failureMsgSent = true ; successCount = 0 ; successMsgSent = false ; } } <START_BUG> if ( ( siteDown ) && ( ( ( sample . getTime ( ) ) != ( - 1 ) ) & ( ! ( successMsgSent ) ) ) ) { <END_BUG> if ( ( successCount ) > ( getSuccessLimit ( ) ) ) { Vector addressVector = getAddressVector ( ) ; try { sendMail ( getFromAddress ( ) , addressVector , getSuccessSubject ( ) , ( "URL<seq2seq4repair_space>Restarted:<seq2seq4repair_space>" + ( sample . getSampleLabel ( ) ) ) , getSmtpHost ( ) ) ; } catch ( Exception e ) { MailerModel . log . error ( "Problem<seq2seq4repair_space>sending<seq2seq4repair_space>mail" , e ) ; } siteDown = false ; successMsgSent = true ; failureCount = 0 ; failureMsgSent = false ; } } if ( ( successMsgSent ) && ( failureMsgSent ) ) { clear ( ) ; } notifyChangeListeners ( ) ; } public synchronized void clear ( ) { } public String toString ( ) { } public synchronized void sendMail ( String from , Vector vEmails , String subject , String attText , String smtpHost ) throws UnknownHostException , MessagingException , AddressException { } public void setToAddress ( String str ) { } public void setFromAddress ( String str ) { } public void setSmtpHost ( String str ) { } public void setFailureSubject ( String str ) { } public void setSuccessSubject ( String str ) { } public void setSuccessLimit ( String limit ) { } public void setFailureLimit ( String limit ) { } public String getToAddress ( ) { } public String getFromAddress ( ) { } public String getSmtpHost ( ) { } public String getFailureSubject ( ) { } public String getSuccessSubject ( ) { } public long getSuccessLimit ( ) { } public long getSuccessCount ( ) { } public long getFailureLimit ( ) { } public long getFailureCount ( ) { } }

Fix:
if ( ( ( siteDown ) && ( ( sample . getTime ( ) ) != ( - 1 ) ) ) && ( ! ( successMsgSent ) ) ) {