Add Findbugs misuses from Govind Singh's thesis

[salsolatragus]

I have added 12 new examples in the Synthetic project that were found from Findbugs documentation (website and research papers) (#198).

I have then executed Findbugs with these examples and the result is summarized in the table below:

Name	Bug code	Detected by Findbugs
Doublecheckedlocking	DC_DOUBLECHECK	Yes
Exceptionnotthrown	RV_EXCEPTION_NOT_THROWN	Yes
Infiniterecursion	IL_INFINITE_RECURSIVE_LOOP	Yes
Misshashcode	HE_EQUALS_NO_HASHCODE	No
Nonexistingclone	CN_IDIOM	No
Nosuchelementexcepption	IT_NO_SUCH_ELEMENT	Yes
Redundantnullcheck	RCN_REDUNDANT_NULLCHECK_OF_NONNULL_VALUE	Yes
Synconboolean	DL_SYNCHRONIZATION_ON_BOOLEAN	No
Synconboxedprimitive	DL_SYNCHRONIZATION_ON_BOXED_PRIMITIVE	Yes
Synconstring	DL_SYNCHRONIZATION_ON_SHARED_CONSTANT	No
Unreleasedlock	UL_UNRELEASED_LOCK	No
unsynchronizeddateformat	STCAL_INVOKE_ON_STATIC_DATE_FORMAT_INSTANCE	No

Please note that all of these bugs except 11 (Unreleasedlock) and 12 (Unsynchronizeddateformat) were detected successfully by Findbugs when ran in stand-alone mode using its GUI.

[salsolatragus]

• Add invokeAndWait() misuse
• Check (and add?) Object.notifyAll() throws IllegalMonitorStateException if called without lock on object.
• Check (and add?) JUnit assert in a Runnable.run() as an example of superfluous context?