Known JUnit Failures

Out-dated content!

These issues describe problems detected by the Eclipse JUnit test suite:

#75
Syntax error gives suboptimal message
#76
Rename method of generic type misses one method
#124
Problems should be categorized systematically

The relevant test cases are disabled or temporarily modified. See the individual issues for reasons and relevance.