Add explicit constructors to satisfy Javadoc

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/learner/config/DurationConverter.java

@@ -10,6 +10,11 @@
  */
 public class DurationConverter implements IStringConverter<Duration> {
 
+    /**
+     * Constructor
+     */
+    public DurationConverter() { }
+
     /**
      * Converts a String to Duration and uses {@link PropertyResolver#resolve(String)}.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/learner/config/LearnerConfigStandard.java

@@ -288,6 +288,11 @@ public class LearnerConfigStandard implements LearnerConfig {
     @Parameter(names = {"-equivalenceThreadCount", "-eqvThreads"}, description = "The number of threads to parallel RandomWpMethodEQOracle (we only support this method right now)")
     protected Integer equivalenceThreadCount = 1;
 
+    /**
+     * Constructor
+     */
+    public LearnerConfigStandard() { }
+
     @Override
     public String getAlphabetFilename() {
         return alphabetFilename;

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/learner/factory/LearningSetupFactory.java

@@ -56,6 +56,11 @@
  */
 public class LearningSetupFactory {
 
+    /**
+     * Constructor
+     */
+    public LearningSetupFactory() { }
+
     /**
      * Create a new MealyLearner from the given parameters.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/learner/statistics/HypothesisStatistics.java

@@ -25,6 +25,11 @@ public class HypothesisStatistics<ID, OD, CE> {
     protected StatisticsSnapshot counterexampleSnapshot;
 
 
+    /**
+     * Constructor
+     */
+    public HypothesisStatistics() { }
+
     /**
      * Returns the stored {@link #hypothesis}.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/sul/core/SulWrapperStandard.java

@@ -43,6 +43,11 @@ public class SulWrapperStandard<I, O, E> implements SulWrapper<I, O, E> {
     /** The test limit to be set only once using {@link #setTestLimit(Long)}. */
     protected Long testLimit;
 
+    /**
+     * Constructor
+     */
+    public SulWrapperStandard() { }
+
     @Override
     public SulWrapper<I, O, E> wrap(AbstractSul<I, O, E> abstractSul) {
         wrappedSul = abstractSul;

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/sul/core/config/InputResponseTimeoutConverter.java

@@ -12,6 +12,11 @@
  */
 public class InputResponseTimeoutConverter implements IStringConverter<Map<String, Long>> {
 
+    /**
+     * Constructor
+     */
+    public InputResponseTimeoutConverter() { }
+
     /**
      * Converts a String to {@code Map<String, Long>} and uses {@link PropertyResolver#resolve(String)}.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/sul/core/config/SulAdapterConfigStandard.java

@@ -39,6 +39,7 @@ public String getAdapterAddress() {
     }
 
     /**
+     * Constructs a new instance from the given parameters.
      *
      * @param adapterPort     the adapterPort to set
      * @param adapterAddress  the adapterAddress to set
@@ -51,5 +52,5 @@ public SulAdapterConfigStandard(int adapterPort, String adapterAddress) {
     /**
      * Constructor
      */
-    public SulAdapterConfigStandard() {   }
+    public SulAdapterConfigStandard() { }
 }

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/sul/mapper/abstractsymbols/OutputBuilder.java

@@ -24,6 +24,11 @@ public abstract class OutputBuilder<O> {
     /** Stores the map containing user specific replacements of symbols. */
     protected Map<String, String> userSpecificMap = new LinkedHashMap<>();
 
+    /**
+     * Constructor
+     */
+    public OutputBuilder() { }
+
     /**
      * Builds the exact output symbol corresponding to the provided name.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/components/sul/mapper/config/MapperConfigStandard.java

@@ -82,6 +82,11 @@ public class MapperConfigStandard implements MapperConfig {
             + "into a single output with '" + MapperOutput.REPEATING_INDICATOR + "' appended")
     protected boolean dontMergeRepeating = false;
 
+    /**
+     * Constructor
+     */
+    public MapperConfigStandard() { }
+
     @Override
     public String getMapperConnectionConfig() {
         return mapperConnectionConfig;

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/core/config/BasicConverterFactory.java

@@ -47,6 +47,11 @@ public Class<? extends IStringConverter<?>> getConverter(Class<?> forType) {
      */
     protected static class StringConverter implements IStringConverter<String> {
 
+        /**
+         * Constructor
+         */
+        public StringConverter() { }
+
         /**
          * Converts a String to String and uses {@link PropertyResolver#resolve(String)}.
          *
@@ -64,6 +69,11 @@ public String convert(String value) {
      */
     protected static class IntegerConverter implements IStringConverter<Integer> {
 
+        /**
+         * Constructor
+         */
+        public IntegerConverter() { }
+
         /**
          * Converts a String to Integer and uses {@link PropertyResolver#resolve(String)}.
          *
@@ -81,6 +91,11 @@ public Integer convert(String value) {
      */
     protected static class LongConverter implements IStringConverter<Long> {
 
+        /**
+         * Constructor
+         */
+        public LongConverter() { }
+
         /**
          * Converts a String to Long and uses {@link PropertyResolver#resolve(String)}.
          *
@@ -98,6 +113,11 @@ public Long convert(String value) {
      */
     protected static class DoubleConverter implements IStringConverter<Double> {
 
+        /**
+         * Constructor
+         */
+        public DoubleConverter() { }
+
         /**
          * Converts a String to Double and uses {@link PropertyResolver#resolve(String)}.
          *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/testrunner/core/TestParser.java

@@ -27,6 +27,11 @@
  */
 public class TestParser<I> {
 
+    /**
+     * Constructor
+     */
+    public TestParser() { }
+
     /**
      * Writes test to file given the filename.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/testrunner/core/TestRunnerResult.java

@@ -4,6 +4,9 @@
 
 /**
  * Represents the result of a single test run.
+ *
+ * @param <I>  the type of inputs
+ * @param <O>  the type of outputs
  */
 public class TestRunnerResult<I, O> {
 

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/testrunner/core/config/TestRunnerConfigStandard.java

@@ -54,6 +54,11 @@ public class TestRunnerConfigStandard implements TestRunnerConfig {
             + "nicer form.")
     protected boolean showTransitionSequence = false;
 
+    /**
+     * Constructor
+     */
+    public TestRunnerConfigStandard() { }
+
     /**
      * Returns the value of {@link #test}.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/testrunner/timingprobe/TimingProbeStandard.java

@@ -53,7 +53,7 @@ public TimingProbeStandard(
         this.timingProbeConfig = timingProbeEnabler.getTimingProbeConfig();
         this.alphabetBuilder = alphabetBuilder;
 
-        if(isActive()) {
+        if (isActive()) {
             this.probeTestRunner = new ProbeTestRunner<>(
                 timingProbeEnabler, alphabetBuilder, sulBuilder
             );

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/statefuzzer/testrunner/timingprobe/config/TimingProbeConfigStandard.java

@@ -60,6 +60,11 @@ public class TimingProbeConfigStandard implements TimingProbeConfig {
     @Parameter(names = "-probeExport", description = "The output file to store the modified alphabet")
     protected String probeExport = null;
 
+    /**
+     * Constructor
+     */
+    public TimingProbeConfigStandard() { }
+
     /**
      * Returns the value of {@link #probeCmd}.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/AutomatonUtils.java

@@ -17,6 +17,11 @@
  */
 public class AutomatonUtils {
 
+    /**
+     * Constructor
+     */
+    public AutomatonUtils() { }
+
     /**
      * Provides all the reachable states from the initial state of the
      * automaton.
@@ -259,11 +264,17 @@ public Set<S> getVisited() {
      * @param <S>        the type of states
      * @param <I>        the type of inputs
      */
-    public static class PredMap <S,I> extends LinkedHashMap<S, Collection<PredStruct<S, I>>>{
+    public static class PredMap<S,I> extends LinkedHashMap<S, Collection<PredStruct<S, I>>> {
         @Serial
         private static final long serialVersionUID = 1L;
+
+        /**
+         * Constructor
+         */
+        public PredMap() { }
     }
 
+
     /**
      * Holds information about a predecessor state of a specified state and
      * the input that leads from the predecessor state to the specified state.
@@ -274,7 +285,7 @@ public static class PredMap <S,I> extends LinkedHashMap<S, Collection<PredStruct
      * @param <S>        the type of states
      * @param <I>        the type of inputs
      */
-    public static class PredStruct <S,I> {
+    public static class PredStruct<S,I> {
 
         /** Stores the constructor parameter. */
         protected S state;

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/DFAUtils.java

@@ -27,6 +27,11 @@
  */
 public class DFAUtils extends AutomatonUtils {
 
+    /**
+     * Constructor
+     */
+    public DFAUtils() { }
+
     /**
      * Converts a deterministic Mealy Machine to an equivalent DFA.
      * <p>

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/DotProcessor.java

@@ -13,6 +13,11 @@
 public class DotProcessor {
     private static final Logger LOGGER = LogManager.getLogger();
 
+    /**
+     * Constructor
+     */
+    public DotProcessor() { }
+
     /**
      * Exports the provided DOT file to PDF using the {@code dot} utility in
      * the system's PATH.

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/ExportableResult.java

@@ -16,6 +16,11 @@ public abstract class ExportableResult {
     /** Delimiter that surrounds the results' title. */
     protected static final String TITLE_DELIM = "=".repeat(80);
 
+    /**
+     * Constructor
+     */
+    public ExportableResult() { }
+
     /**
      * Uses the {@link #doExport(PrintWriter)} method and closes the writer
      * afterwards.

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/MealyDotParser.java

@@ -16,6 +16,11 @@
  */
 public class MealyDotParser {
 
+    /**
+     * Constructor
+     */
+    public MealyDotParser() { }
+
     /**
      * Parses the contents of a Mealy Machine DOT file.
      *

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/MealyUtils.java

@@ -12,7 +12,12 @@
 /**
  * Collection of Mealy Machine automata related methods.
  */
-public class MealyUtils extends AutomatonUtils{
+public class MealyUtils extends AutomatonUtils {
+
+    /**
+     * Constructor
+     */
+    public MealyUtils() { }
 
     /**
      * Provides all the outputs a Mealy Machine automaton can generate in

src/main/java/com/github/protocolfuzzing/protocolstatefuzzer/utils/ModelFactory.java

@@ -14,6 +14,11 @@
  */
 public class ModelFactory {
 
+    /**
+     * Constructor
+     */
+    public ModelFactory() { }
+
     /**
      * Builds a Mealy Machine from an alphabet and a DOT file.
      *