Merge branch 'display_warning' of https://github.com/txiang61/checker-framework-inference into display_warning

Author: txiang61

src/checkers/inference/VariableAnnotator.java

@@ -1105,7 +1105,7 @@ private void annotateNewArray(AnnotatedTypeMirror type, Tree tree, int level, Tr
 
             // Create a variable from an ASTPath
             final TreePath pathToTree = inferenceTypeFactory.getPath(topLevelTree);
-            ASTRecord astRec = ASTPathUtil.getASTRecordForPath(inferenceTypeFactory, pathToTree).newArrayLevel(level);;
+            ASTRecord astRec = ASTPathUtil.getASTRecordForPath(inferenceTypeFactory, pathToTree).newArrayLevel(level);
             replaceOrCreateEquivalentVarAnno(type, tree, new AstPathLocation(astRec));
 
         } else if (!(tree.getKind() == Tree.Kind.NEW_ARRAY