Uses of Class
org.tweetyproject.plugin.parameter.IntegerCommandParameter

No usage of org.tweetyproject.plugin.parameter.IntegerCommandParameter