Strip comments (commencing #) from reactions files.

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

prism/src/prism/ReactionsText2Prism.java

@@ -121,6 +121,8 @@ public class ReactionsText2Prism extends Reactions2Prism
 			s = s.replaceFirst("/#/", "");
 			lineNum++;
 			while (s != null) {
+				// Strip comments
+				s = s.replaceFirst(" *#.*", "");
 				// Skip blank lines
 				s = s.trim();
 				if (s.length() > 0) {
@@ -216,6 +218,8 @@ public class ReactionsText2Prism extends Reactions2Prism
 							lineNum++;
 							if (s == null)
 								throw new PrismException("missing line in reaction definition");
+							// Strip comments
+							s = s.replaceFirst(" *#.*", "");
 							s = s.trim();
 							// Get kinetic law
 							// Irreversible case