removed unused/useless setting

src/main/kotlin/b/language/server/Util.kt

@@ -13,7 +13,7 @@ import java.io.File
  * @return the settings object
  */
 fun castJsonToSetting(json : JsonObject) : Settings {
-    return Settings(Gson().fromJson(json.get("maxNumberOfProblems"), Int::class.java),
+    return Settings(
             Gson().fromJson(json.get("wdChecks"), Boolean::class.java),
             Gson().fromJson(json.get("strictChecks"), Boolean::class.java),
             Gson().fromJson(json.get("performanceHints"), Boolean::class.java),

src/main/kotlin/b/language/server/dataStorage/Settings.kt

@@ -2,6 +2,6 @@ package b.language.server.dataStorage
 
 import java.io.File
 
-data class Settings(val maxNumberOfProblem : Int = 1000, val strictChecks : Boolean = true,  val wdChecks : Boolean = true,
+data class Settings(val strictChecks : Boolean = true,  val wdChecks : Boolean = true,
                     val performanceHints : Boolean = true , val probHome : File = File("~/prob_prolog/probcli.sh"),
                     val debugMode : Boolean = true)