77836b
--- sun/tools/javazic/Mappings.java.orig	2015-04-13 12:40:26.000000000 -0400
77836b
+++ sun/tools/javazic/Mappings.java	2015-04-13 12:42:11.000000000 -0400
77836b
@@ -75,8 +75,10 @@
77836b
 	    Zone zone = zones.get(zoneName);
77836b
 	    String zonename = zone.getName();
77836b
 	    int rawOffset = zone.get(zone.size()-1).getGmtOffset();
77836b
+
77836b
 	    // If the GMT offset of this Zone will change in some
77836b
 	    // future time, this Zone is added to the exclude list.
77836b
+            boolean isExcluded = false;
77836b
 	    if (zone.size() > 1) {
77836b
 		ZoneRec zrec = zone.get(zone.size()-2);
77836b
 		if ((zrec.getGmtOffset() != rawOffset)
77836b
@@ -85,7 +87,7 @@
77836b
 			excludeList = new ArrayList<String>();
77836b
 		    }
77836b
 		    excludeList.add(zone.getName());
77836b
-		    continue;
77836b
+                    isExcluded = true;
77836b
 		}
77836b
 	    }
77836b
 
77836b
@@ -101,9 +103,11 @@
77836b
 		rawOffsetsIndex.add(i, rawOffset);
77836b
 
77836b
 		Set<String> perRawOffset = new TreeSet<String>();
77836b
-		perRawOffset.add(zonename);
77836b
+                if (!isExcluded) {
77836b
+                    perRawOffset.add(zonename);
77836b
+                }
77836b
 		rawOffsetsIndexTable.add(i, perRawOffset);
77836b
-	    } else {
77836b
+            } else if (!isExcluded) {
77836b
 		int i = rawOffsetsIndex.indexOf(new Integer(rawOffset));
77836b
 		Set<String> perRawOffset = rawOffsetsIndexTable.get(i);
77836b
 		perRawOffset.add(zonename);