Use Integer.hashCode() instead of Objects,hashCode()

Author: kostis

pom.xml

@@ -255,7 +255,7 @@
                         <arg>-XDcompilePolicy=simple</arg>
                         <arg>--should-stop=ifError=FLOW</arg>
                         <arg>-XDaddTypeAnnotationsToSymbol=true</arg>
-                        <arg>-Xplugin:ErrorProne -Xep:ObjectToString:OFF -Xep:BadInstanceof:OFF -Xep:EqualsGetClass:OFF -Xep:BigDecimalEquals:OFF -Xep:ReferenceEquality:OFF -Xep:ArrayAsKeyOfSetOrMap:OFF -Xep:IterableAndIterator:OFF -Xep:ObjectsHashCodePrimitive:OFF -Xep:StatementSwitchToExpressionSwitch:OFF -Xep:JdkObsolete:OFF -Xep:AddressSelection:OFF -Xep:EmptyBlockTag:OFF -Xep:MissingSummary:OFF -Xep:NonApiType:OFF -Xep:StringSplitter:OFF -Xep:WaitNotInLoop:OFF -Xep:StringConcatToTextBlock:OFF</arg>
+			<arg>-Xplugin:ErrorProne -Xep:ObjectToString:OFF -Xep:BadInstanceof:OFF -Xep:EqualsGetClass:OFF -Xep:BigDecimalEquals:OFF -Xep:ReferenceEquality:OFF -Xep:ArrayAsKeyOfSetOrMap:OFF -Xep:IterableAndIterator:OFF -Xep:StatementSwitchToExpressionSwitch:OFF -Xep:JdkObsolete:OFF -Xep:AddressSelection:OFF -Xep:EmptyBlockTag:OFF -Xep:MissingSummary:OFF -Xep:NonApiType:OFF -Xep:StringSplitter:OFF -Xep:WaitNotInLoop:OFF -Xep:StringConcatToTextBlock:OFF</arg>
                     </compilerArgs>
                     <annotationProcessorPaths>
                         <path>

src/main/java/de/learnlib/ralib/data/SymbolicDataValue.java

@@ -50,10 +50,10 @@ public Register(DataType dataType, int id) {
             super(dataType, id, "r" + id);
         }
 
-		@Override
-		public Expression<BigDecimal> asExpression() {
-			return this;
-		}
+	@Override
+	public Expression<BigDecimal> asExpression() {
+	    return this;
+	}
     }
 
     /**
@@ -130,7 +130,7 @@ public boolean equals(Object obj) {
     public int hashCode() {
         int hash = 7;
         hash = 97 * hash + Objects.hashCode(this.type);
-        hash = 97 * hash + Objects.hashCode(this.id);
+        hash = 97 * hash + Integer.hashCode(this.id);
         hash = 97 * hash + Objects.hashCode(this.getClass());
         return hash;
     }