Merge pull request #1531 from stweil/cov

java: Fix some issues reported by Coverity Scan

java/com/google/scrollview/ScrollView.java

@@ -371,9 +371,8 @@ public class ScrollView {
     intPattern = Pattern.compile("[0-9-][0-9]*");
     floatPattern = Pattern.compile("[0-9-][0-9]*\\.[0-9]*");
 
-    try {
-      // Open a socket to listen on.
-      ServerSocket serverSocket = new ServerSocket(SERVER_PORT);
+    // Open a socket to listen on.
+    try (ServerSocket serverSocket = new ServerSocket(SERVER_PORT)) {
       System.out.println("Socket started on port " + SERVER_PORT);
 
       // Wait (blocking) for an incoming connection

java/com/google/scrollview/ui/SVCheckboxMenuItem.java

@@ -30,7 +30,6 @@ import javax.swing.JCheckBoxMenuItem;
  */
 class SVCheckboxMenuItem extends SVAbstractMenuItem {
   public String value = null;
-  public String desc = null;
   public boolean bvalue;
 
   SVCheckboxMenuItem(int id, String name, boolean val) {

java/com/google/scrollview/ui/SVWindow.java

@@ -204,10 +204,20 @@ public class SVWindow extends JFrame {
     super(name);
 
     // Provide defaults for sizes.
-    if (sizeX == 0) sizeX = canvasSizeX;
-    if (sizeY == 0) sizeY = canvasSizeY;
-    if (canvasSizeX == 0) canvasSizeX = sizeX;
-    if (canvasSizeY == 0) canvasSizeY = sizeY;
+    if (sizeX <= 0) sizeX = canvasSizeX;
+    if (sizeY <= 0) sizeY = canvasSizeY;
+    if (canvasSizeX <= 0) canvasSizeX = sizeX;
+    if (canvasSizeY <= 0) canvasSizeY = sizeY;
+
+    // Avoid later division by zero.
+    if (sizeX <= 0) {
+      sizeX = 1;
+      canvasSizeX = sizeX;
+    }
+    if (sizeY <= 0) {
+      sizeY = 1;
+      canvasSizeY = sizeY;
+    }
 
     // Initialize variables
     nrWindows++;