Evaluation of Assertion Support for the Java Programming Language