From c8a894cae21efb5076dc8b8423b53e39c0812c98 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 4 Dec 2015 03:44:08 +0000
Subject: [PATCH] Auto-format.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11000 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/PrismExplicit.java | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/prism/src/explicit/PrismExplicit.java b/prism/src/explicit/PrismExplicit.java
index 0011771f..b68eb6da 100644
--- a/prism/src/explicit/PrismExplicit.java
+++ b/prism/src/explicit/PrismExplicit.java
@@ -26,15 +26,25 @@
 
 package explicit;
 
-import java.io.*;
+import java.io.File;
+import java.io.FileNotFoundException;
 
-import parser.ast.*;
+import parser.ast.Expression;
+import parser.ast.ModulesFile;
+import parser.ast.PropertiesFile;
 import parser.type.TypeBool;
-import prism.*;
+import prism.ModelGenerator;
+import prism.ModelType;
+import prism.Prism;
+import prism.PrismComponent;
+import prism.PrismException;
+import prism.PrismFileLog;
+import prism.PrismLangException;
+import prism.PrismLog;
+import prism.PrismNotSupportedException;
+import prism.PrismSettings;
+import prism.Result;
 import simulator.ModulesFileModelGenerator;
-import simulator.SimulatorEngine;
-import explicit.Model;
-import explicit.StateModelChecker;
 
 /**
  * This class connects PRISM to the various bits of explicit-state functionality that are implemented.