/*
   FinalLocalVariable
   validateEnhancedForLoopVariable = (default)false
   tokens = (default)VARIABLE_DEF
   
   
   */
   
   package com.puppycrawl.tools.checkstyle.checks.coding.finallocalvariable;
  
  import java.util.ArrayList;
  import java.util.Arrays;
  
  public class InputFinalLocalVariableFalsePositives {
  
      // spring-framework/spring-web/.../CommonsFileUploadSupport.java
      private void foo1() {
          String value;
          if (true) {
              try {
                  value = "";
              }
              catch (Exception ex) {
                  if (true) {
  
                  }
                  value = "";
              }
          }
          else {
              value = "";
          }
      }
  
      // spring-framework/spring-messaging/.../StompBrokerRelayMessageHandler.java
      private void foo2() {
          String stompAccessor;
  
          if (true) {
              throw new IllegalStateException(
                  "No header accessor (not using the SimpMessagingTemplate?): ");
          }
          else if (true) {
              stompAccessor = "";
          }
          else if (true) {
              stompAccessor = "";
          }
          else {
              throw new IllegalStateException("Unexpected header accessor type ");
          }
  
          if (true) {
              if (true) {
                  if (true) {
                  }
                  return;
              }
              stompAccessor.toString();
          }
  
          if (true) {
              return;
          }
  
          if (true) {
              if (true) {
              }
              stompAccessor = "";
              stompAccessor.toString();
              stompAccessor.toString();
              if (true) {
                  stompAccessor.toString();
              }
          }
          else if (true) {
              if (true) {
                  if (true) {
                  }
                  return;
              }
          }
          else {
              if (true) {
                  if (true) {
                  }
                  return;
              }
          }
      }
  
      // spring-framework/spring-jdbc/.../SQLErrorCodesFactory.java
      private void foo3() {
          String errorCodes;
  
          try {
              if (true) {
              }
              else {
             }
 
             if (true) {
             }
 
             errorCodes = "";
             if (true) {
             }
         }
         catch (Exception ex) {
             errorCodes = "";
         }
 
         final String s = errorCodes;
     }
 
     // spring-framework/spring-context/.../TaskExecutorFactoryBean.java
     private void foo4() {
         if (true) {
             try {
                 int corePoolSize;
                 if (true) {
                     corePoolSize = Integer.valueOf("1");
                     if (corePoolSize > 2) {
                     }
                     if (true) {
                         if (corePoolSize == 0) {
                             corePoolSize = 2;
                         }
                         else {
                         }
                     }
                 }
                 else {
                     corePoolSize = 1;
                 }
             }
             catch (NumberFormatException ex) {
             }
         }
     }
 
     // spring-framework/spring-beans/.../SimpleInstantiationStrategy.java
     private void foo5() {
         if (true) {
             final String s = "";
             String constructorToUse;
             synchronized (s) {
                 constructorToUse = "";
                 if (constructorToUse == null) {
                     if (true) {
                     }
                     try {
                         if (System.getSecurityManager() != null) {
                             constructorToUse = "";
                         }
                         else {
                             constructorToUse = "";
                         }
                     }
                     catch (Exception ex) {
                     }
                 }
             }
         }
         else {
         }
     }
 
     // openjdk8/src/windows/classes/sun/print/Win32PrintJob.java
     private void foo6() {
         String[] attrs;
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
             }
         }
 
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
                 if (attrs[i] instanceof Object) {
                 }
                 if (attrs[i] instanceof Object) {
                 }
             }
         }
     }
 
     // openjdk8/src/windows/classes/sun/awt/windows/WInputMethod.java
     private void foo7() {
         int index;
         if (true) {
             index = 0;
         }
         else if (true) {
             index = 2;
         }
         else {
             return;
         }
         if (true) {
             index += 1;
         }
     }
 
     // openjdk8/src/solaris/classes/sun/print/UnixPrintJob.java
     private void foo8() {
         String[] attrs;
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
                 if (attrs[i] instanceof String) {
                 }
             }
         }
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
                 if (attrs[i] instanceof Object) {
                 }
                 if (attrs[i] instanceof String) {
                 }
             }
         }
     }
 
     // openjdk8/src/solaris/classes/sun/java2d/xr/XRRenderer.java
     private void foo9() {
         int transx, transy;
 
         if (true) {
             if (true) {
                 if (true) {
                 }
                 else {
                 }
                 transx = 2;
                 transy = 1;
             }
             else {
                 transx = 0;
                 transy = 0;
             }
         }
         if (true) {
             transx = 1;
             transy = 2;
         }
         else {
             transx = transy = 0;
         }
 
         try {
         }
         finally {
         }
     }
 
     // openjdk8/src/solaris/classes/sun/awt/X11InputMethod.java
     private void foo10() {
         int index;
         if (false) {
             index = 0;
         }
         else if (true) {
             index = 2;
         }
         else {
             return;
         }
         if (false) {
             index += 1;
         }
     }
 
     // jdk8/src/solaris/classes/java/util/prefs/FileSystemPreferences.java
     private void foo11() {
         if (true)
             if (true)
                 return;
         long lastModifiedTime;
         if (true) {
             lastModifiedTime = 1L;
             if (true) {
             }
         }
         else if (true) {
         }
         if (true) {
             lastModifiedTime = 2L;
             if (true) {
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/util/locale/provider/LocaleResources.java
     private void foo12() {
         String numElemKey;
         if (true) {
             numElemKey = ".NumberElements";
             if (true) {
             }
         }
         if (true) {
             numElemKey = "";
             if (true) {
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/tools/jar/Main.java
     private void foo13() {
         String out;
         if (true) {
             out = "";
         }
         else {
             out = "";
             if (true) {
             }
         }
         if (true) {
             out = "";
         }
         if (true) {
         }
         out.toString();
         if (true) {
             try {
                 out = "";
             }
             catch (Exception ioe) {
             }
             finally {
                 if (true) {
                 }
                 if (true) {
                     out.toString();
                 }
                 if (true) {
                 }
                 if (true) {
                 }
                 if (true) {
                 }
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/text/normalizer/NormalizerBase.java
     private void foo14() {
         int c, c2; // violation
         if (true) {
         }
         if (true) {
             if ((c = 'd') >= 0) {
                 if (true) {
                     c2 = 'a';
                     if (true) {
                         if (true) {
                             if (true) {
                             }
                             c = c2;
                         }
                         else {
                         }
                     }
                 }
 
                 if (true) {
                 }
             }
             return;
         }
 
     }
 
     // openjdk8/src/share/classes/sun/text/normalizer/CharTrie.java
     private void foo15() {
         int limit;
         if (true) {
             limit = 0xdc00 >> 1;
             limit = 2 + 1;
 
         }
     }
 
     // openjdk8/src/share/classes/sun/text/bidi/BidiBase.java
     private void foo16() {
         final int a = 1;
         byte level;
         if (true) {
             switch (a) {
                 case 1:
                     break;
                 case 2:
                     break;
                 case 3:
                     if (true) {
                     }
                     if ((true) ||
                         (true)) {
                         level = 1;
                         if (true) {
                         }
                         if (true) {
                         }
                         break;
                     }
                     for (int i = 0; i < 14; i++) {
                     }
                     if (true) {
                     }
                     break;
                 case 4:
                     if (true)
                         break;
                 case 5:
                     if (true) {
                         if (true) {
                             break;
                         }
                         if (true) {
                         }
                         break;
                     }
                     if (true) {
                     }
                     break;
                 case 6:
                     break;
                 case 7:
                     for (int i = 0; i < 15458; i++) {
                     }
                     if (true) {
                     }
                     break;
 
                 case 8:
                     break;
 
                 case 9:
                     if (true) {
                     }
                     break;
                 case 10:
                     level = (byte) 1;
                     for (int i = 0; i < 12; i++) {
                         if (true) {
                         }
                     }
                     break;
                 case 11:
                     level = 1;
                     for (int i = 0; i < 12; i++) {
                         if (true) {
                             while (level < 2) {
                             }
                             while (true) {
                             }
                         }
                         if (true) {
                             continue;
                         }
                     }
                     break;
                 case 12:
                     level = (byte) 2;
                     for (int i = 0; i < 12; i++) {
                         if (true) {
                         }
                     }
                     break;
                 default:
                     throw new IllegalStateException("Internal ICU error in processPropertySeq");
             }
         }
         if (true) {
             level = (byte) 12;
             for (; ; ) {
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/security/ssl/CipherBox.java
     private void foo17() {
         try {
             int newLen;
             if (true) {
                 try {
                     newLen = 1;
                 }
                 catch (Exception ibse) {
                 }
             }
             else {
                 newLen = 2;
                 if (true) {
                 }
             }
             if (true) {
                 try {
                 }
                 catch (Exception e) {
                 }
             }
             if (true) {
                 newLen = 3;
                 if (true) {
                     if (true) {
                     }
                 }
             }
             return;
         }
         catch (Exception e) {
             throw new ArrayIndexOutOfBoundsException(e.toString());
         }
     }
 
     // openjdk8/src/share/classes/sun/security/ssl/CipherBox.java
     private void foo18() throws Exception {
         int newLen;
         if (true) {
             try {
                 newLen = 1;
             }
             catch (Exception ibse) {
             }
         }
         else {
             newLen = 2;
             if (true) {
             }
         }
         if (true) {
             try {
             }
             catch (Exception e) {
             }
         }
         if (true) {
             newLen = 1;
             if (true) {
                 if (true) {
                     throw new Exception("invalid explicit IV");
                 }
             }
         }
         return;
     }
 
     // openjdk8/src/share/classes/sun/security/rsa/RSACore.java
     private String foo19() {
         String params;
         synchronized (this) {
             params = "blindingCache.get(modulus)";
         }
         if (true) {
             return params;
         }
         params = "new BlindingParameters(e, re, rInv)";
         synchronized (this) {
         }
         return params;
     }
 
     // openjdk8/src/share/classes/sun/security/provider/certpath/ldap/LDAPCertStore.java
     private void foo20() {
         String cert;
         if (true) {
             cert = "certPair.getForward()";
             if (true) {
             }
         }
         if (true) {
             cert = "certPair.getReverse()";
             if (true) {
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/security/pkcs11/P11KeyGenerator.java
     private void foo21() throws Exception {
         try {
             final int keyType = 8;
             String[] attributes;
             switch (keyType) {
                 case 1:
                 case 2:
                 case 3:
                     attributes = null;
                     break;
                 default:
                     attributes = null;
                     break;
             }
             attributes = null;
             return;
         }
         catch (Exception e) {
             throw new Exception("Could not generate key", e);
         }
         finally {
         }
     }
 
     // openjdk8/src/share/classes/sun/security/krb5/internal/KDCReqBody.java
     private void foo22() throws Exception {
         String subDer;
         if (true) {
             subDer = "";
             if (true) {
                 while ("".equals(subDer)) {
                 }
                 for (int i = 0; i < 1541; i++) {
 
                 }
             }
             else {
                 throw new Exception();
             }
         }
         else {
             throw new Exception();
         }
         if (true) {
         }
         if (true) {
         }
         if (true) {
             if (true) {
                 subDer = "";
                 if (true) {
                     while ("".equals(subDer)) {
                     }
                 }
                 else {
                     throw new Exception();
                 }
                 if (true) {
                 }
             }
             else {
                 throw new Exception();
             }
         }
         if (true) {
             throw new Exception();
         }
     }
 
     // openjdk8/src/share/classes/sun/security/krb5/internal/KDCReq.java
     private void foo23() throws Exception {
         int bint;
         if (true) {
             throw new Exception();
         }
         if (true) {
             throw new Exception();
         }
         if (true) {
             bint = 1;
             if (true) {
                 throw new Exception("");
             }
         }
         else {
             throw new Exception();
         }
         if (true) {
             bint = 2;
             if (bint == 4) {
                 throw new Exception();
             }
         }
         else {
             throw new Exception();
         }
     }
 
     // openjdk8/src/share/classes/sun/rmi/server/LoaderHandler.java
     private void foo24() {
         final String a = "";
         String loader;
         synchronized (this) {
             while ("".equals(a)) {
                 if (true) {
                 }
             }
             if (true) {
                 if (true) {
                 }
                 loader = "";
             }
             loader = "";
         }
     }
 
     // openjdk8/src/share/classes/sun/print/RasterPrinterJob.java
     private void foo25() {
         double w, h;
         if (true) {
             if (true) {
                 w = 11.0;
                 h = 12.2;
             }
         }
         if (true) {
             w = 1.0;
             h = 2.5;
         }
         return;
     }
 
     // openjdk8/src/share/classes/sun/print/PSStreamPrintJob.java
     private void foo26() {
         String[] attrs;
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
                 if (true) {
                 }
             }
         }
         if (true) {
             attrs = null;
             for (int i = 0; i < attrs.length; i++) {
                 if (attrs[i] instanceof String) {
                 }
                 if (attrs[i] instanceof String) {
                 }
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/net/www/protocol/http/HttpURLConnection.java
     private void foo27() {
         String locUrl;
         try {
             locUrl = "";
             if (true) {
                 return;
             }
         }
         catch (Exception mue) {
 
             locUrl = "";
         }
     }
 
     // openjdk8/src/share/classes/sun/misc/Launcher.java
     private void foo28() {
         final String a = "";
         String[] path;
         if (true) {
             while ("".equals(a)) {
             }
             path = new String[5];
             while ("".equals(a)) {
                 if (true) {
                     path[1] = "";
                 }
                 else {
                     path[2] = "";
                 }
             }
             if (true) {
                 path[3] = "";
             }
             else {
                 path[4] = "";
             }
             if (true) {
                 path = new String[14];
             }
         }
         else {
             path = new String[81];
         }
         return;
     }
 
     // openjdk8/src/share/classes/sun/misc/FloatingDecimal.java
     private void foo29() {
         int decExp;
         parseNumber:
         try {
             if (true) {
                 throw new NumberFormatException("empty String");
             }
             int i = 0;
             switch (i) {
                 case '-':
                 case '+':
                     i++;
             }
             if (true) {
                 if (true) {
                     return;
                 }
                 break parseNumber;
             }
             else if (true) {
                 if (true) {
                     return;
                 }
                 break parseNumber;
             }
             else if (true) {
                 if (true) {
                     if (true) {
                         return;
                     }
                 }
             }
             skipLeadingZerosLoop:
             while (i < 15) {
                 if (true) {
                 }
                 else if (true) {
                     if (true) {
                         throw new NumberFormatException("multiple points");
                     }
                     if (true) {
                     }
                 }
                 else {
                     break skipLeadingZerosLoop;
                 }
                 i++;
             }
             digitLoop:
             while (i < 12) {
                 if (true) {
                 }
                 else if (true) {
                 }
                 else if (true) {
                     if (true) {
                         throw new NumberFormatException("multiple points");
                     }
                     if (true) {
                     }
                 }
                 else {
                     break digitLoop;
                 }
                 i++;
             }
             if (true) {
                 break parseNumber;
             }
             if (true) {
                 decExp = 1;
             }
             else {
                 decExp = 2;
             }
             if (true) {
                 switch (i) {
                     case '-':
                     case '+':
                         i++;
                 }
                 final int expAt = i;
                 expLoop:
                 while (i < 54) {
                     if (true) {
                     }
                     if (true) {
                     }
                     else {
                         i--;
                         break expLoop;
                     }
                 }
                 if (true) {
                     decExp = 12;
                 }
                 else {
                     decExp = decExp + 123;
                 }
                 if (i == expAt) {
                     break parseNumber;
                 }
             }
             if (i < 9788) {
                 break parseNumber;
             }
             if (true) {
                 return;
             }
             return;
         }
         catch (StringIndexOutOfBoundsException e) {
         }
         throw new NumberFormatException();
     }
 
     // openjdk8/src/share/classes/sun/java2d/pipe/BufferedRenderPipe.java
     private void foo30() {
         int transx, transy;
         if (true) {
             if (true) {
                 if (true) {
                 }
                 else {
                 }
                 transx = 1;
                 transy = 2;
             }
             else {
                 transx = 0;
                 transy = 0;
             }
         }
         if (true) {
             transx = 4;
             transy = 1;
         }
         else {
             transx = transy = 0;
         }
     }
 
     // openjdk8/src/share/classes/sun/java2d/cmm/lcms/LCMSTransform.java
     private void foo31() throws Exception {
         String srcIL;
         if (true) {
             srcIL = "";
             if (srcIL != null) {
                 return;
             }
         }
         if (true) {
             try {
                 srcIL = "";
             }
             catch (Exception e) {
                 throw new Exception("Unable to convert rasters");
             }
             for (int y = 0; y < 12; y++) {
                 for (int x = 0; x < 12; x++) {
                     for (int i = 0; i < 5478; i++) {
                     }
                 }
                 for (int x = 0; x < 5; x++) {
                     for (int i = 0; i < 541; i++) {
                     }
                 }
             }
         }
         else {
             try {
                 srcIL = "";
             }
             catch (Exception e) {
                 throw new Exception("Unable to convert rasters");
             }
         }
     }
 
     // openjdk8/src/share/classes/sun/java2d/cmm/lcms/LCMSTransform.java
     private void foo32() throws Exception {
        String srcIL, dstIL;
         try {
             if (true) {
                 dstIL = "";
 
                 if (dstIL != null) {
                     srcIL = "";
                     if (srcIL != null) {
                         return;
                     }
                 }
             }
         }
         catch (Exception e) {
             throw new Exception("Unable to convert images");
         }
         if (true) {
             if (true) {
             }
             try {
                 srcIL = "";
                 dstIL = "";
             }
             catch (Exception e) {
                 throw new Exception("Unable to convert images");
             }
         }
         else {
                     dstIL = "";
         }
     }
 
     // openjdk8/src/share/classes/sun/font/FileFontStrike.java
     private void foo33() {
         float advance;
         if (true) {
             advance = 1234;
             if (advance != Float.MAX_VALUE) {
                 if (true) {
                     return;
                 }
                 else {
                     return;
                 }
             }
         }
         else if (true) {
             if (true) {
                 advance = 123;
                 if (advance != Float.MAX_VALUE) {
                     if (true) {
                         return;
                     }
                     else {
                         return;
                     }
                 }
             }
         }
         if (true) {
             return;
         }
         if (true) {
             advance = 12435;
         }
         else {
             if (true) {
             }
             else {
             }
             if (true) {
                 advance = 123;
             }
             else {
                 advance = 123414;
             }
         }
         if (true) {
         }
         else if (true) {
             if (true) {
                 for (int i = 0; i < 214; i++) {
                 }
             }
         }
         return;
     }
 
     // openjdk8/src/share/classes/sun/awt/geom/AreaOp.java
     private void foo34() {
         final String s = "";
         int etag;
         if (true) {
             etag = 1;
             do {
                 if (true) {
                 }
                 if (true) {
                 }
             } while ("".equals(s));
             if (true) {
                 etag = 13213;
             }
             else {
             }
         }
         else {
             etag = 12312;
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/text/html/parser/Parser.java
     private void foo35() {
         final int a = 8;
         String elem;
         switch (a) {
             case 1:
                 switch (a) {
                     case '-':
                         while (true) {
                             if (true) {
                             }
                         }
                     default:
                 }
             case '/':
                 switch (a) {
                     case '>':
                     case '<':
                         if (true) {
 
                         }
                         elem = "";
                         break;
                     default:
                         if (true) {
                             return;
                         }
                         switch (a) {
                             case '>':
                             case '<':
                                 break;
                             default:
                         }
                         if (true) {
                             elem = "";
                         }
                         else {
                             elem = "";
                         }
                         break;
                 }
                 if (true) {
                     elem = "";
                     if (true) {
                         return;
                     }
                 }
                 else {
                     if (true) {
                         elem = "";
                     }
                     else {
                         elem = "";
                     }
                 }
                 elem = "";
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/text/html/parser/Parser.java
     private void foo36() {
         String attname;
         if (true) {
             attname = "";
             if (true) {
             }
             else {
                 if (true) {
                     if (true) {
                     }
                     else {
                     }
                 }
             }
         }
         else if (true) {
         }
         else if (true) {
             if (true) {
                 attname = "";
                 if (true) {
                 }
                 if (true) {
                 }
                 else {
                     if (true) {
                         if (true) {
                         }
                     }
                 }
             }
             else {
             }
         }
         else if (true) {
             attname = "";
         }
         else if (true) {
             return;
         }
         else {
             if (true) {
             }
             else {
                 return;
             }
         }
         if (true) {
             attname = "";
         }
         else {
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/text/JTextComponent.java
     private void foo37() {
         int dot;
         if (true) {
             dot = 213213;
             if (true) {
                 if (true) {
                 }
             }
             if (true) {
                 dot += 1;
                 if (true) {
                     try {
                     }
                     catch (Exception ble) {
                     }
                 }
             }
         }
         else if (true) {
             dot = 31;
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/plaf/synth/ParsedSynthStyle.java
     private void foo38() {
         String painter;
         if (true) {
             if ((painter = "").equals("")) {
                 return;
             }
         }
         if ((painter = "").equals("")) {
             return;
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/plaf/metal/MetalInternalFrameTitlePane.java
     private void foo39() {
         int spacing;
         if (true) {
             if (true) {
                 if (true);
             }
             else {
                 spacing = 4;
                 if (true) return;
             }
         }
         if (true) {
             spacing = 123;
             if (true) return;
         }
         if (true) {
             spacing = 12;
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/plaf/basic/BasicBorders.java
     private void foo40() {
         String cBounds;
         if (true) {
             if (true) {
                 cBounds = "";
             }
             if (true) {
                 cBounds = "";
             }
         }
         else {
             if (true) {
                 cBounds = "";
             }
             if (true) {
                 cBounds = "";
             }
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/border/CompoundBorder.java
     private void foo41() {
         String nextInsets;
         if (true) {
             nextInsets = "";
         }
         if (true) {
             nextInsets = "";
         }
     }
 
     // openjdk8/src/share/classes/javax/swing/JTree.java
     private String foo42() {
         if (true) {
             String rowBounds;
             if (true) {
                 rowBounds = "";
                 if (true) {
                     if (true) {
                         return "";
                     }
                     return "";
                 }
                 if (true) {
                     if (true) {
                         rowBounds = "";
                         return rowBounds;
                     }
                 }
                 else {
                     return rowBounds;
                 }
             }
             return "";
         }
         return "";
     }
 
     // openjdk8/src/share/classes/javax/sql/rowset/spi/SyncFactory.java
     private void foo43() {
         String providerImpls;
         try {
             providerImpls = "";
         }
         catch (Exception ex) {
             providerImpls = null;
         }
         String strRowsetProperties;
         try {
             strRowsetProperties = "";
         }
         catch (Exception ex) {
             strRowsetProperties = "";
         }
     }
 
     // openjdk8/src/share/classes/javax/sound/sampled/AudioSystem.java
     private void foo45() {
         String mixer;
         if (true) {
             if (true) {
                 if (true) {
                     mixer = "";
                     if (mixer != null) {
                         return;
                     }
                 }
                 else {
                     mixer = "";
                     if (mixer != null) {
                         return;
                     }
                 }
 
             }
         }
         if (true) {
             mixer = "";
             if (mixer != null) {
                 return;
             }
         }
     }
 
     // openjdk8/src/share/classes/javax/security/auth/SubjectDomainCombiner.java
     private void foo46() {
         String e;
         if (true) {
             synchronized (this) {
                 e = "";
 
             }
             synchronized (this) {
                 e = "";
 
             }
         }
     }
 
     // openjdk8/src/share/classes/javax/naming/spi/NamingManager.java
     private void foo47() {
         final String a = "";
         String factory;
         if (true) {
             factory = "";
         }
         if ("".equals(a)) {
             factory = "";
         }
     }
 
     // openjdk8/src/share/classes/java/util/regex/Pattern.java
     private void foo48() {
         int ch;
         if (true) {
             ch = 1;
         }
         if (true) {
             ch = 2;
         }
     }
 
     // openjdk8/src/share/classes/java/util/concurrent/locks/StampedLock.java
     private String foo49() {
         long next;
         if (!Thread.interrupted()) {
             if (true) {
                 if (true) {
                     if ((next = 5) == 5)
                         return "next";
                 }
                 else if ((next = 5) == 5)
                     return "next";
             }
             if (true)
                 return "0L";
             if (true)
                 if ((next = 5) == 5)
                     return "next";
         }
         return "";
     }
 
     // openjdk8/src/share/classes/java/time/Duration.java
     private void foo50() {
         long nanos;
         try {
             nanos = 1L;
         }
         catch (Exception ex2) {
             nanos = 0L;
         }
     }
 
     // openjdk8/src/share/classes/java/text/CollationElementIterator.java
     private void foo51() {
         if (true) {
             int vowel;
             if (true) {
                 vowel = 1;
             }
             if (true) {
                 vowel = 2;
             }
         }
         if (true) {
             int consonant;
             if (true) {
                 consonant = 23;
             }
             if (true) {
                 consonant =2;
             }
         }
     }
 
     // openjdk8/src/share/classes/java/sql/DriverManager.java
     private void foo52() {
         String drivers;
         try {
             drivers = "";
         }
         catch (Exception ex) {
             drivers = null;
         }
     }
 
     // openjdk8/src/share/classes/java/security/Policy.java
     private void foo53() {
         String pc;
         synchronized (this) {
             pc = "Hello";
         }
         pc = "";
     }
 
     // openjdk8/src/share/classes/java/lang/invoke/DirectMethodHandle.java
     private void foo54() {
         final int a = 1;
         final String linkerName;
         String lambdaName;
         switch (a) {
             case 1:
                 linkerName = "linkToVirtual";
                 lambdaName = "DMH"
                     + ".invokeVirtual";
                 break;
             case 2:
                 linkerName = "linkToStatic";
                 lambdaName = "DMH"
                     + ".invokeStatic";
                 break;
             case 3:
                 linkerName = "linkToStatic";
                 lambdaName = "DMH.invokeStaticInit";
                 break;
             case 4:
                 linkerName = "linkToSpecial";
                 lambdaName = "DMH"
                     + ".invokeSpecial";
                 break;
             case 5:
                 linkerName = "linkToInterface";
                 lambdaName = "DMH"
                     + ".invokeInterface";
                 break;
             case 6:
                 linkerName = "linkToSpecial";
                 lambdaName = "DMH"
                     + ".newInvokeSpecial";
                 break;
             default:
                 throw new InternalError("which=");
         }
         lambdaName += "_";
     }
 
     // openjdk8/src/share/classes/java/lang/Class.java
     private String foo55() {
         String res;
         if (true) {
             res = "";
             if (res != null) return res;
         }
         if (true) {
             res = "temporaryRes";
         }
         else {
             res = "";
         }
         if (true) {
             if (true) {
             }
             else {
             }
         }
         return "";
     }
 
     // openjdk8/src/share/classes/java/awt/geom/CubicCurve2D.java
     private void foo56() {
         int num;
         if (true) {
             num = 3;
         }
         else {
             num = 1;
             if (true) {
                 num = 2;
             }
         }
         if (num > 1) {
             num = 2;
         }
     }
 
     // openjdk8/src/share/classes/java/awt/geom/AffineTransform.java
     private void foo57() {
         final int a = 1;
         double T01, T10;
         switch (a) {
             case 1:
                 break;
             case 9:
             case 11:
             case 12:
                 break;
             case 123:
             case 14:
                 break;
             case 1234:
             case 12345:
                 break;
             case 566:
             case 8678:
                 break;
             case 534:
             case 7968:
             case 86785678:
             case 86759789:
                 break;
             case 346547:
                 T01 =1;
                 T10 = 2;
                 break;
             case 432534523:
             case 5345235:
                 break;
             case 235345:
             case 523452345:
                 break;
             case 75675467:
                 break;
         }
         T01 = 21;
         T10 = 53;
     }
 
     // openjdk8/src/share/classes/java/awt/event/WindowEvent.java
     private void foo58() {
         final int a = 54;
         String typeStr;
         switch (a) {
             case 1:
                 typeStr = "WINDOW_OPENED";
                 break;
             case 2:
                 typeStr = "WINDOW_CLOSING";
                 break;
             case 3:
                 typeStr = "WINDOW_CLOSED";
                 break;
             case 4:
                 typeStr = "WINDOW_ICONIFIED";
                 break;
             case 5:
                 typeStr = "WINDOW_DEICONIFIED";
                 break;
             case 6:
                 typeStr = "WINDOW_ACTIVATED";
                 break;
             case 7:
                 typeStr = "WINDOW_DEACTIVATED";
                 break;
             case 8:
                 typeStr = "WINDOW_GAINED_FOCUS";
                 break;
             case 9:
                 typeStr = "WINDOW_LOST_FOCUS";
                 break;
             case 10:
                 typeStr = "WINDOW_STATE_CHANGED";
                 break;
             default:
                 typeStr = "unknown type";
         }
         typeStr += ",";
     }
 
     // openjdk8/src/share/classes/com/sun/tools/example/debug/tty/Commands.java
     private void foo59() {
         String spec;
         if (true) {
             spec = "";
         }
         if (true) {
             spec = "";
         }
     }
 
     // openjdk8/src/share/classes/com/sun/security/auth/callback/TextCallbackHandler.java
     private void foo60() throws Exception {
         final int a = 1;
         String text;
         switch (a) {
             case 1:
                 text = "";
                 break;
             case 2:
                 text = "Warning: ";
                 break;
             case 3:
                 text = "Error: ";
                 break;
             default:
                 throw new Exception();
         }
         final String message = "";
         if (message != null) {
             text += message;
         }
     }
 
     // openjdk8/src/share/classes/com/sun/net/ssl/SSLSecurity.java
     private void foo61() {
         String tmaw;
         if (true) {
             tmaw = "";
             for (int i = 0; i < 10; i++) {
                 if (true) {
                     if (true) {
                         tmaw = "";
                     }
                 }
                 else {
                     tmaw = "";
                 }
             }
             if (true) {
                 tmaw = "";
             }
         }
         else {
             tmaw = null;
         }
     }
 
     // openjdk8/src/share/classes/com/sun/jndi/dns/DnsContext.java
     private void foo62() {
         String znode;
         synchronized (this) {
             znode = "";
         }
         if (znode != null) {
             synchronized (znode) {
             }
             if (true) {
                 if (true) {
                     synchronized (znode) {
                         if (true) {
                         }
                         else if (true) {
                         }
                         else {
                             return;
                         }
                     }
                     if (true) {
                         return;
                     }
                 }
             }
         }
         synchronized (this) {
             znode = "";
         }
     }
 
     // openjdk8/src/share/classes/com/sun/java/swing/plaf/gtk/GTKColorType.java
     private void foo63() {
         float h;
         float l;
         float s;
         synchronized (this) {
             h = 1;
             l = 2;
             s = 3;
         }
         h = 4;
         l = 5;
         s = 6;
     }
 
     // openjdk8/src/macosx/classes/sun/lwawt/macosx/CInputMethod.java
     private void foo64() {
         int index;
         if (true) {
             index = 0;
         }
         else if (true) {
             index = 2;
         }
         else {
             return;
         }
         if (true) {
             index += 1;
         }
     }
 
     // apache-struts/core/.../mapper/DefaultActionMapper.java
     private void foo65() {
         String name;
         if (true) {
             name = "uri";
         }
         else if (true) {
             name = "";
         }
         else if (true) {
             name = "";
         }
         else {
             name = "";
         }
         if (true) {
             if (true) {
                 name = "";
             }
         }
     }
 
     // infinispan/remoting/transport/jgroups/JGroupsTransport.java
     private void foo66() {
         String cfg;
         if (true) {
             if (true) {
                 cfg = "";
             }
             if (true) {
                 cfg = "";
             }
             if (true) {
                 cfg = "";
             }
         }
     }
 
     // hibernate-core/.../internal/javassist/BytecodeProviderImpl.java
     private void foo67() {
         String fastClass;
         try {
             fastClass = "";
             if (true) {
                 if (fastClass == null) {
                 }
                 else {
                 }
             }
         }
         catch (Throwable t) {
             fastClass = null;
         }
     }
 
     // guava-mvnstyle/guava/src/com/google/common/net/InetAddresses.java
     private void foo68() {
         int partsLo;
         if (true) {
             partsLo = 1;
             if ( --partsLo != 0) {
                 return;
             }
             if (true) {
                 return;
             }
         }
         else {
             partsLo = 0;
         }
     }
 
     // guava-mvnstyle/guava/src/com/google/common/collect/TreeMultiset.java
     private void foo69() {
         String node;
         if (true) {
             node = "";
             if (node == null) {
                 return;
             }
             if (true) {
                 node = "";
             }
         }
         else {
             node = "";
         }
     }
 
     // guava-mvnstyle/guava/src/com/google/common/cache/LongAddables.java
     private void foo70() {
         String supplier;
         try {
             supplier = "";
         }
         catch (Throwable t) {
             supplier = "";
         }
     }
 
     // findbugs/src/java/edu/umd/cs/findbugs/detect/FindNullDeref.java
     private void foo71() {
         int priority;
         if (true) {
             priority = 1;
         }
         else if (true) {
             priority = 2;
         }
         else {
             return;
         }
         if (true) {
             priority++;
         }
         if (true) {
             priority++;
         }
     }
 
     // findbugs/src/java/edu/umd/cs/findbugs/ba/PruneUnconditionalExceptionThrowerEdges.java
     private void foo72() {
         String p;
         try {
             p = "";
         }
         catch (RuntimeException e) {
             p = "";
         }
     }
 
     // findbugs/eclipsePlugin/src/de/tobject/findbugs/actions/MarkerRulerAction.java
     private void foo73() {
         String control;
         if (true) {
             if (true) {
                 control = "";
                 if (control != null) {
                 }
             }
         }
         if (true) {
             if (true) {
             }
             if (true) {
                 control = "";
                 if (control != null) {
                 }
             }
         }
     }
 
     // findbugs/eclipsePlugin/src/de/tobject/findbugs/DetectorsExtensionHelper.java
     private void foo75() {
         String libPathAsString;
         try {
             libPathAsString = "";
             if (libPathAsString == null) {
             }
             libPathAsString = "";
             if (libPathAsString == null) {
             }
 
         } catch(Exception ex) {
 
         }
     }
 
     // findbugs/src/java/edu/umd/cs/findbugs/detect/FindNullDeref.java
     private void foo76() {
         int priority;
         if (true) {
             priority = 2;
         }
         else if (true) {
             priority = 3;
         }
         else {
             return;
         }
 
         if (true) {
             priority++;
         }
         if (true) {
             priority++;
         }
     }
 
     // elasticsearch/src/main/java/org/elasticsearch/index/search/child/ParentIdsFilter.java
     private void foo77() {
         if (true) {
             int docId;
             if (true) {
                 docId = 21;
                 if (docId != 1254) {
                 }
                 else {
                 }
             }
             else {
                 docId = 45234;
                 if (true) {
                 }
             }
             if (true) {
                 docId = 3213213;
             }
         }
     }
 
     // elasticsearch/src/main/java/org/elasticsearch/common/inject/internal/BindingBuilder.java
     private void foo78() {
         String injectionPoints;
         if (true) {
             try {
                 injectionPoints = "";
             }
             catch (Exception e) {
                 injectionPoints = "";
             }
         }
         else {
             injectionPoints = "";
         }
     }
 
     // apache-struts/core/.../dispatcher/mapper/DefaultActionMapper.java
     private void foo79() {
         String name;
         if (true) {
             name = "";
         }
         else if (true) {
             name = "";
         }
         else if (true) {
             name = "";
         }
         else {
             name = "";
         }
         if (true) {
             if (true) {
                 name = "";
             }
         }
     }
 
     // apache-ant/src/main/org/apache/tools/ant/types/PropertySet.java
     private void foo80() {
         String names;
         if (true) {
             names = "";
             if (true) {
                 names = "";
             }
         }
         else {
             names = "";
         }
     }
 
     // apache-ant/src/main/org/apache/tools/ant/taskdefs/optional/net/FTPTaskMirrorImpl.java
     private void foo81() {
         StringBuffer msg;
         synchronized (this) {
             msg = new StringBuffer("   [");
         }
         synchronized (this) {
             msg = new StringBuffer("   [");
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/regionserver/HStore.java
     private void foo82() {
        String filesToCompact;
         try {
             synchronized (this) {
                 filesToCompact = "";
                 filesToCompact = "";
             }
         }
         finally {
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/regionserver/HStore.java
     private void foo83() {
         String key;
         if (true) {
             try {
                 key = "";
             }
             catch (Exception e) {
                 if (true) {
                     try {
                         key = "";
                     }
                     catch (Exception ex) {
                     }
                 }
             }
         }
         else {
             key = "";
         }
     }
 
     // Hbase/hbase-server/.../hadoop/hbase/regionserver/DefaultHeapMemoryTuner.java
     private void foo84() {
         float newMemstoreSize;
         float newBlockCacheSize;
         if (true) {
             newBlockCacheSize = 354;
             newMemstoreSize = 534;
         }
         else if (true) {
             newBlockCacheSize = 213213;
             newMemstoreSize = 53425;
         }
         else {
             return;
         }
         if (true) {
             newMemstoreSize = 2;
         }
         else if (true) {
             newMemstoreSize = 3;
         }
         if (true) {
             newBlockCacheSize = 354;
         }
         else if (true) {
             newBlockCacheSize = 14;
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/master/AssignmentManager.java
     private void foo85() {
         boolean needNewPlan;
         try {
             if (true) {
             }
             if (true) {
                 needNewPlan = true;
             }
             else {
                 if (true) {
                 }
                 return;
             }
         }
         catch (Throwable t) {
             if (t instanceof Object) {
             }
             if (true) {
                 if (true) {
                     if (t instanceof Object) {
                     }
                     else {
                     }
                 }
                 try {
                     needNewPlan = false;
                     if (true) {
                     }
                     else if (true) {
                         needNewPlan = true;
                     }
                 }
                 catch (Exception ie) {
                     return;
                 }
             }
             else if (true) {
                 needNewPlan = false;
             }
             else {
                 needNewPlan = true;
             }
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/mapred/TableRecordReaderImpl.java
     private void foo86() {
         String result;
         try {
             try {
                 result = "";
                 if (true) {
                     if (true) {
                     }
                 }
             }
             catch (Exception e) {
                 if (true) {
                 }
                 if (true) {
                 }
                 else {
                 }
                 result = "";
             }
         }
         catch (Exception ex) {
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/ipc/RpcServer.java
     private void foo87() {
         int count;
         if (true) {
             return;
         }
         try {
             count = 2;
         }
         catch (Exception ieo) {
             throw ieo;
         }
         catch (Error e) {
             count = -1;
         }
     }
 
     // Hbase/hbase-server/src/main/java/org/apache/hadoop/hbase/ipc/RpcServer.java
     private void foo88() {
         String c;
         synchronized (this) {
             try {
                 c = "";
             }
             catch (Exception e) {
                 return;
             }
         }
         if (true) {
             if (true)
                 c = null;
         }
     }
 
     private void foo89() {
         final int a = 8;
         String b; // violation
         switch (a) {
             case 8:
                 b = "b";
                 break;
             default:
                 b = "c";
                 break;
         }
     }
 
     private void foo90() {
         final int a = 8;
         String b;
         switch (a) {
             default:
                 b = "c";
         }
         b = "b";
     }
 
     private void foo91() {
         Integer[] s;
         if (true) {
             s = new Integer[0];
         } else {
             s = new Integer[5];
             if (true) {
                 final ArrayList<Integer> retain = new ArrayList<>();
                 for (final Integer c : s) {
                     if (true) {
                         retain.add(c);
                     }
                 }
                 s = retain.toArray(new Integer[retain.size()]);
             }
             if (true && s.length > 0) {
                 s = new Integer[] {s[0]};
             }
         }
         Arrays.toString(s);
     }
 
     // findbugs/src/java/edu/umd/cs/findbugs/ba/jsr305/TypeQualifierApplications.java
     private void foo92() {
         String tqa;
         if (true) {
             tqa = null;
             if (true) {
             }
         }
         else {
             if (true) {
             }
             tqa = "a";
             if (true) {
             }
             if (tqa == null) {
                 if (true) {
                 }
                 tqa = "b";
                 if (true) {
                     if (tqa == "abc") {
                     } else if (tqa != null) {
                     } else {
                     }
                 }
             }
             if (tqa == "bcd") {
                 tqa = null;
             }
             if (tqa == null) {
                 if (true) {
                     if (true) {
                     }
                 } else {
                     if (true) {
                     }
                     tqa = "c";
                     if (true) {
                     }
                 }
             }
         }
     }
 
     // hibernate-core/.../internal/util/collections/BoundedConcurrentHashMap.java
     private void foo93() {
         if (true) {
             String evictedCopy;
             if (true) {
                 final String evictedEntry = "a";
                 evictedCopy = evictedEntry;
             } else {
                 evictedCopy = "c";
                 for (int i = 0; i < 0; ++i) {
                     evictedCopy.trim();
                 }
                 evictedCopy = evictedCopy.trim();
             }
         }
     }
 
     // spring-framework/spring-core/src/main/java/org/springframework/core/Conventions.java
     private void foo94() {
         String valueClass;
         if (true) {
             valueClass = "a";
         }
         else if (true) {
             valueClass = "b";
             if (valueClass == null) {
                 if (true) {
                 }
                 if (true) {
                 }
                 valueClass = "c";
             }
         }
         else {
             valueClass = "d";
         }
     }
 
     // spring-framework/spring-test/.../springframework/test/annotation/ProfileValueUtils.java
     private void foo95() {
         String profileValueSource;
         if (true) {
             profileValueSource = "a";
         }
         else {
             try {
                 profileValueSource = "b";
             }
             catch (Exception e) {
                 if (true) {
                 }
                 profileValueSource = "c";
             }
         }
     }
 
     // spring-framework/spring-webmvc/.../method/annotation/RequestPartMethodArgumentResolver.java
     private void foo96() {
         Object arg;
         if (true) {
             arg = "a";
         }
         else if (true) {
             arg = "b";
         }
         else if (true) {
             arg = "c";
         }
         else if (true) {
             arg = "d";
         }
         else if (true) {
             arg = "e";
         }
         else if (true) {
             arg = "f";
         }
         else {
             try {
                 arg = "g";
                 if (arg != null) {
                     if (true) {
                     }
                 }
             }
             catch (Exception ex) {
                 arg = null;
             }
         }
     }
 
     // infinispan/commons/.../concurrent/jdk8backported/BoundedEquivalentConcurrentHashMapV8.java
     private void foo97() {
         if (true) {
             String evictedCopy;
             if (true) {
                 evictedCopy = "b";
             } else {
                 evictedCopy = "c";
                 for (int i = 0; i < 0; ++i) {
                 }
                 evictedCopy = "d";
             }
         }
     }
 
     // infinispan/core/src/main/java/org/infinispan/util/concurrent/BoundedConcurrentHashMap.java
     private void foo98() {
         if (true) {
             String evictedCopy;
             if (true) {
                 evictedCopy = "b";
             } else {
                 evictedCopy = "c";
                 for (int i = 0; i < 0; ++i) {
                 }
                 evictedCopy = "d";
             }
         }
     }
 
     // infinispan/persistence/soft-index/.../infinispan/persistence/sifs/IndexNode.java
     private void foo99() {
         int insertionPoint;
         if (true) {
             insertionPoint = 0;
         } else if (true) {
             insertionPoint = 1;
         } else {
             insertionPoint = 2;
             if (insertionPoint < 0) {
                 insertionPoint = -insertionPoint - 1;
             } else {
                 insertionPoint++;
             }
         }
     }
 
     // apache-struts/core/src/main/java/com/opensymphony/xwork2/util/LocalizedTextUtil.java
     private void foo100() {
         String result;
         if (true) {
             result = "a";
         } else {
             result = "b";
             if (result != null) {
             }
             result = "c";
         }
     }
 }