add MinsInsp options in Config

Author: jomifred

jason-interpreter/src/main/java/jason/architecture/MindInspectorWebImpl.java

@@ -125,7 +125,7 @@ private boolean tryToIncludeMindInspectorForAg(String path) {
                 if (arch != null) {
                     // should add a new conf for mindinspector, otherwise will start a new gui for the agent
                     arch.getTS().getSettings().addOption(Settings.MIND_INSPECTOR,"web(1000,html,no_history)");
-                    MindInspectorAgArch miArch = new MindInspectorAgArch();
+                    var miArch = (MindInspectorAgArch)Class.forName( Config.get().getMindInspectorArchClassName()).getConstructor().newInstance(); //new MindInspectorAgArch();
                     arch.insertAgArch(miArch);
                     miArch.init();
                     miArch.addAgState();

jason-interpreter/src/main/java/jason/util/Config.java

@@ -44,6 +44,10 @@ public class Config extends Properties {
     public static final String KQML_RECEIVED_FUNCTOR   = "kqmlReceivedFunctor";
     public static final String KQML_PLANS_FILE         = "kqmlPlansFile";
 
+    public static final String MIND_INSP_ARCH_CLASS_NAME  = "mindInspectorArchClassName";
+    public static final String MIND_INSP_WEB_SERVER_CLASS_NAME  = "mindInspectorWebServerClassName";
+
+
     protected static Config    singleton     = null;
 
     protected static String    configFactory = null;
@@ -507,14 +511,29 @@ public static void main(String[] args) {
         Config.get(true);
     }
 
+    public void setMindInspectorArchClassName(String c) {
+        setProperty(MIND_INSP_ARCH_CLASS_NAME, c);
+    }
     public String getMindInspectorArchClassName() {
-        return "jason.architecture.MindInspectorAgArch";
+        if (getProperty(MIND_INSP_ARCH_CLASS_NAME) == null) {
+            return jason.architecture.MindInspectorAgArch.class.getName();
+        } else {
+            return getProperty(MIND_INSP_ARCH_CLASS_NAME);
+        }
     }
 
+    public void setMindInspectorWebServerClassName(String c) {
+        setProperty(MIND_INSP_WEB_SERVER_CLASS_NAME, c);
+    }
     public String getMindInspectorWebServerClassName() {
-        return "jason.architecture.MindInspectorWebImpl";
+        if (getProperty(MIND_INSP_WEB_SERVER_CLASS_NAME) == null) {
+            return jason.architecture.MindInspectorWebImpl.class.getName();
+        } else {
+            return getProperty(MIND_INSP_WEB_SERVER_CLASS_NAME);
+        }
     }
 
+
     public String getPresentation() {
         return "Jason "+getJasonVersion()+"\n"+
                "     built on "+getJasonBuiltDate();