fixed javadoc errors

build.gradle

@@ -100,11 +100,14 @@ signing {
     sign configurations.archives
 }
 
+javadoc {
+	failOnError = false
+}
 
-//task javadocJar(type: Jar) {
-//	 classifier = 'javadoc'
-//	 from javadoc
-//}
+task javadocJar(type: Jar) {
+	 classifier = 'javadoc'
+	 from javadoc
+}
 
 task sourcesJar(type: Jar) {
 	 classifier = 'sources'

src/main/java/de/tla2b/analysis/InstanceTransformation.java

@@ -35,11 +35,10 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
 
 
 	/**
-	 * @param con
+	 * @param moduleNode
 	 */
-	public InstanceTransformation(ModuleNode n) {
-		defs = n.getOpDefs();
-
+	public InstanceTransformation(ModuleNode moduleNode) {
+		defs = moduleNode.getOpDefs();
 		defsHash = new Hashtable<String, OpDefNode>();
 		for (int i = 0; i < defs.length; i++) {
 			OpDefNode def = defs[i];
@@ -47,10 +46,6 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
 		}
 	}
 
-	/**
-	 * @throws AbortException
-	 * 
-	 */
 	public void start() {
 		for (int i = 0; i < defs.length; i++) {
 			OpDefNode def = defs[i];

src/main/java/de/tla2b/analysis/SymbolRenamer.java

@@ -124,7 +124,7 @@ public class SymbolRenamer extends BuiltInOPs implements TranslationGlobals,
 	private Hashtable<OpDefNode, Set<String>> usedNamesTable = new Hashtable<OpDefNode, Set<String>>();
 
 	/**
-	 * @param moduleNode2
+	 * @param moduleNode
 	 * @param specAnalyser
 	 */
 	public SymbolRenamer(ModuleNode moduleNode, SpecAnalyser specAnalyser) {

src/main/java/de/tla2b/analysis/TypeChecker.java

@@ -64,7 +64,7 @@ public class TypeChecker extends BuiltInOPs implements ASTConstants, BBuildIns,
 	private ConfigfileEvaluator conEval;
 
 	/**
-	 * @param moduleNode2
+	 * @param moduleNode
 	 * @param conEval
 	 * @param specAnalyser
 	 */

src/main/java/de/tla2b/config/ModuleOverrider.java

@@ -41,7 +41,7 @@ public class ModuleOverrider extends BuiltInOPs implements ASTConstants {
 	}
 
 	/**
-	 * @param moduleNode2
+	 * @param moduleNode
 	 * @param conEval
 	 */
 	public ModuleOverrider(ModuleNode moduleNode, ConfigfileEvaluator conEval) {

src/main/java/de/tla2b/config/TLCValueNode.java

@@ -17,7 +17,7 @@ public class TLCValueNode extends NumeralNode implements TranslationGlobals {
 	private TLAType type;
 
 	/**
-	 * @param kind
+	 * @param valObj
 	 * @param stn
 	 * @throws AbortException 
 	 */

src/test/java/de/tla2b/util/TestUtil.java

@@ -209,8 +209,8 @@ public class TestUtil {
 		// ASTPrettyPrinter aP = new ASTPrettyPrinter(start);
 		// start.apply(aP);
 		// System.out.println(aP.getResultString());
-		
 		// StateSpace stateSpace = api.b_load(start);
+		
 		StateSpace stateSpace = api.tla_load(tlaFile);
 		Trace trace = new Trace(stateSpace);
 		Set<Transition> nextTransitions = trace.getNextTransitions();