C4J-Team/C4J — pull request #7 by UrsMetz (2012-04-08 09:46:38+00:00)
Title: failing test for inherited contracts

After commit 1d24c35 the test
testErrorMessageByStrengtheningOfPrecondition in NNPreS7aTest.java fails
because the call-order was reversed.
In case the behavior is expected to change through this commit this pull request fixes the test by adjusting the expected ERROR log message.