getReasonerNameAndVersion() currently crashes when a JNI is not linked, which occurs when jphyloref help has been executed without providing the path to the FaCT++ library. This PR will instead display the reasoner name and version as e.g. FaCT++/(JNI library not linked).
getReasonerNameAndVersion() currently crashes when a JNI is not linked, which occurs when
jphyloref help
has been executed without providing the path to the FaCT++ library. This PR will instead display the reasoner name and version as e.g.FaCT++/(JNI library not linked)
.