to make the use of JML within javadoc easier and JML specific semantics distraction free, we are rule out the privacy checking when using javadoc like tags style of DbC
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
loading inner types reflectively in the right way using $ sign
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
Fixing a bug related to getDeclaredConstructor instead of getConstructor; making the code more robust while finding the join points of interest
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
Version data update for AspectJML release 1.8.0