LTLModelChecker: NotSupportedException instead of PrismException for generalized-Rabin with fairness

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11198 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/LTLModelChecker.java

@@ -906,7 +906,7 @@ public class LTLModelChecker extends PrismComponent
 	{
 		
 		if (fairness) {
-			throw new PrismException("Accepting end-component computation for generalized Rabin is currently not supported with fairness");
+			throw new PrismNotSupportedException("Accepting end-component computation for generalized Rabin is currently not supported with fairness");
 		}
 
 		JDDNode allAcceptingStates;