"@param" parameter name must match the name of some formal parameter

com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredSourceModule.java

@@ -47,8 +47,6 @@ public class NodejsRequiredSourceModule extends SourceFileModule {
 	private final String className;
 
 	/**
-	 * @param workingDir
-	 *            Must be a direct or indirect parent folder of file f.
 	 * @param f
 	 *            Must be a file located below folder workingDir.
 	 * @param clonedFrom

com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ISupergraph.java

@@ -68,7 +68,7 @@ public interface ISupergraph<T, P> extends NumberedGraph<T> {
   Iterator<? extends T> getReturnSites(T call, P callee);
 
   /**
-   * @param r a "return" node in the supergraph
+   * @param ret a "return" node in the supergraph
    * @param callee a "called" "procedure" in the supergraph. if callee is null, answer return sites for which no callee was found.
    * @return the corresponding call nodes. There may be many.
    */

com.ibm.wala.core/src/com/ibm/wala/ssa/SSACheckCastInstruction.java

@@ -46,7 +46,7 @@ public abstract class SSACheckCastInstruction extends SSAInstruction {
   /**
    * @param result A new value number def'fed by this instruction when the type check succeeds.
    * @param val The value being checked by this instruction
-   * @param type The type which this instruction checks
+   * @param types The types which this instruction checks
    */
   protected SSACheckCastInstruction(int iindex, int result, int val, TypeReference[] types, boolean isPEI) {
     super(iindex);