jdk/make/src/classes/build/tools/tzdb/Utils.java
author ihse
Thu, 14 Nov 2013 11:19:32 +0100
changeset 21805 c7d7946239de
parent 15289 jdk/make/tools/src/build/tools/tzdb/Utils.java@3ac550392e43
permissions -rw-r--r--
8027566: Remove the old build system Reviewed-by: erikj, tbell
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     1
/*
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     2
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     3
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     4
 * This code is free software; you can redistribute it and/or modify it
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     5
 * under the terms of the GNU General Public License version 2 only, as
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     6
 * published by the Free Software Foundation.  Oracle designates this
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     7
 * particular file as subject to the "Classpath" exception as provided
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     8
 * by Oracle in the LICENSE file that accompanied this code.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     9
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    10
 * This code is distributed in the hope that it will be useful, but WITHOUT
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    11
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    12
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    13
 * version 2 for more details (a copy is included in the LICENSE file that
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    14
 * accompanied this code).
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    15
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    16
 * You should have received a copy of the GNU General Public License version
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    17
 * 2 along with this work; if not, write to the Free Software Foundation,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    18
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    19
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    20
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    21
 * or visit www.oracle.com if you need additional information or have any
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    22
 * questions.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    23
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    24
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    25
/*
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    26
 * Copyright (c) 2009-2012, Stephen Colebourne & Michael Nascimento Santos
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    27
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    28
 * All rights reserved.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    29
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    30
 * Redistribution and use in source and binary forms, with or without
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    31
 * modification, are permitted provided that the following conditions are met:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    32
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    33
 *  * Redistributions of source code must retain the above copyright notice,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    34
 *    this list of conditions and the following disclaimer.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    35
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    36
 *  * Redistributions in binary form must reproduce the above copyright notice,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    37
 *    this list of conditions and the following disclaimer in the documentation
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    38
 *    and/or other materials provided with the distribution.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    39
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    40
 *  * Neither the name of JSR-310 nor the names of its contributors
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    41
 *    may be used to endorse or promote products derived from this software
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    42
 *    without specific prior written permission.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    43
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    44
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    45
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    46
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    47
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    48
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    49
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    50
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    51
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    52
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    53
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    54
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    55
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    56
package build.tools.tzdb;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    57
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    58
import java.util.Objects;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    59
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    60
class Utils {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    61
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    62
    // Returns the largest (closest to positive infinity)
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    63
    public static long floorDiv(long x, long y) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    64
        long r = x / y;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    65
        // if the signs are different and modulo not zero, round down
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    66
        if ((x ^ y) < 0 && (r * y != x)) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    67
            r--;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    68
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    69
        return r;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    70
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    71
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    72
    // Returns the floor modulus of the {@code long} arguments.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
    public static long floorMod(long x, long y) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    74
        return x - floorDiv(x, y) * y;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    76
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
    // Returns the sum of its arguments,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
    public static long addExact(long x, long y) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
        long r = x + y;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    80
        // HD 2-12 Overflow iff both arguments have the opposite sign of the result
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    81
        if (((x ^ r) & (y ^ r)) < 0) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
            throw new ArithmeticException("long overflow");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    83
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    84
        return r;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    86
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
    // Year
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    89
    // Returns true if the specified year is a leap year.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    90
    public static boolean isLeapYear(int year) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    91
        return ((year & 3) == 0) && ((year % 100) != 0 || (year % 400) == 0);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    92
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    93
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    94
    // The minimum supported year, '-999,999,999'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    95
    public static final int YEAR_MIN_VALUE = -999_999_999;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    96
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    97
    // The maximum supported year, '+999,999,999'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    98
    public static final int YEAR_MAX_VALUE = 999_999_999;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    99
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   100
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   101
    // Gets the length of the specified month in days.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   102
    public static int lengthOfMonth(int month, boolean leapYear) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   103
        switch (month) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   104
            case 2:        //FEBRUARY:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   105
                return (leapYear ? 29 : 28);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   106
            case 4:        //APRIL:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   107
            case 6:        //JUNE:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   108
            case 9:        //SEPTEMBER:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   109
            case 11:       //NOVEMBER:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   110
                return 30;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
            default:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
                return 31;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   115
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
    // Gets the maximum length of the specified month in days.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
    public static int maxLengthOfMonth(int month) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
        switch (month) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
            case 2:           //FEBRUARY:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
                return 29;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
            case 4:           //APRIL:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   122
            case 6:           //JUNE:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   123
            case 9:           //SEPTEMBER:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
            case 11:          //NOVEMBER:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   125
                return 30;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   126
            default:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   127
                return 31;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   128
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   131
    // DayOfWeek
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   132
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   133
    // Returns the day-of-week that is the specified number of days after
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
    // this one, from 1 to 7 for Monday to Sunday.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
    public static int plusDayOfWeek(int dow, long days) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   136
        int amount = (int) (days % 7);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   137
        return (dow - 1 + (amount + 7)) % 7 + 1;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   140
    // Returns the day-of-week that is the specified number of days before
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   141
    // this one, from 1 to 7 for Monday to Sunday.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   142
    public static int minusDayOfWeek(int dow, long days) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   143
        return plusDayOfWeek(dow, -(days % 7));
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   144
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   145
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
    // Adjusts the date to the first occurrence of the specified day-of-week
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   147
    // before the date being adjusted unless it is already on that day in
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   148
    // which case the same object is returned.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   149
    public static LocalDate previousOrSame(LocalDate date, int dayOfWeek) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   150
        return adjust(date, dayOfWeek, 1);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   151
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   152
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   153
    // Adjusts the date to the first occurrence of the specified day-of-week
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   154
    // after the date being adjusted unless it is already on that day in
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   155
    // which case the same object is returned.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   156
    public static LocalDate nextOrSame(LocalDate date, int dayOfWeek) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   157
        return adjust(date, dayOfWeek, 0);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   158
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   159
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   160
    // Implementation of next, previous or current day-of-week.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   161
    // @param relative  whether the current date is a valid answer
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   162
    private static final LocalDate adjust(LocalDate date, int dow, int relative) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   163
        int calDow = date.getDayOfWeek();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   164
        if (relative < 2 && calDow == dow) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   165
            return date;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   166
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   167
        if ((relative & 1) == 0) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   168
            int daysDiff = calDow - dow;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   169
            return date.plusDays(daysDiff >= 0 ? 7 - daysDiff : -daysDiff);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   170
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   171
            int daysDiff = dow - calDow;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   172
            return date.minusDays(daysDiff >= 0 ? 7 - daysDiff : -daysDiff);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   174
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
}