large sync with main

examples/java/LinearProgramming.java

@@ -30,7 +30,7 @@ public class LinearProgramming {
       System.out.println("Could not create solver " + solverType);
       return;
     }
-    double infinity = java.lang.Double.POSITIVE_INFINITY;
+    double infinity = Double.POSITIVE_INFINITY;
     // x1, x2 and x3 are continuous non-negative variables.
     MPVariable x1 = solver.makeNumVar(0.0, infinity, "x1");
     MPVariable x2 = solver.makeNumVar(0.0, infinity, "x2");
@@ -65,7 +65,7 @@ public class LinearProgramming {
     System.out.println("Number of constraints = " + solver.numConstraints());
 
     if (printModel) {
-      String model = solver.exportModelAsLpFormat(/* obfuscate = */false);
+      String model = solver.exportModelAsLpFormat(/* obfuscate= */ false);
       System.out.println(model);
     }
 
@@ -79,7 +79,7 @@ public class LinearProgramming {
 
     // Verify that the solution satisfies all constraints (when using solvers
     // others than GLOP_LINEAR_PROGRAMMING, this is highly recommended!).
-    if (!solver.verifySolution(/*tolerance=*/1e-7, /* log_errors= */ true)) {
+    if (!solver.verifySolution(/* tolerance= */ 1e-7, /* log_errors= */ true)) {
       System.err.println("The solution returned by the solver violated the"
           + " problem constraints by at least 1e-7");
       return;