I have a user defined verification method written in Java. It calls on GetProperties methods.
In OSATE 2.3.5 it worked fine.
In OSATE 2.3.6 the verification method execution throws an exception - class not found org.osate....GetProperties.
The example is MultiTierAC (in development setting) and standaloneMultiTierAC in standalone execution of OSATE 2.3.6.
There is an assurance case ADC that calls two Java based verification methods.