Hierarchy Check
Hierarchy method updated
Merge pull request #4 from luminousfennell/working

Use eclipse's junit.jar
JUnit of Eclipse Juno Error

JUnit of Eclipse Juno doesn’t support ordering of the test cases
Subsignature check
LEQConstraints