Code tidy.

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

prism/src/prism/DefaultModelGenerator.java

@@ -98,6 +98,7 @@ public abstract class DefaultModelGenerator implements ModelGenerator
 		throw new PrismException("Label number \"" + i + "\" not defined");
 	}
 	
+	@Override
 	public int getLabelIndex(String label)
 	{
 		return -1;