Night Vision v4 and Java

[xynixme]

My problem with the time in NV 4 and oprnjdk6 is that no matter how many times I set it it always reverts to GMT the next time I start NV 4.  Everything else works as expected, even down to a customised location.

The file nvj.ini can be found, and includes lines like this?

DST = A
TZOffset = 1:00

If Openjdk6 may parse the TZ incorrectly, then have you tried "Auto DST" and other DST options (Set --> Set location, and of course File - Save location to ake it stick)?

[Mark Szkolnicki]

Hi Mark.

My problem with the time in NV 4 and oprnjdk6 is that no matter how many times I set it it always reverts to GMT the next time I start NV 4.  Everything else works as expected, even down to a customised location.

I am assuming it is something to do with openjdk6 rather than NV 4 but I don't run any other java programs that are time critical to check that.

Good Evening, Ivan! (at least my time)

I don't run any other time critical Java programs myself, but I know that the time on NVJ remains as I set it about two months ago (IOW, in exact sync with the date and time of this computer) everytime I open it.

It may be a problem with openjdk6, as I know it is not perfect (at least 160GA5 isn't), but, being the troubleshooter by profession, I always ask - if something is working perfectly somewhere, but not somewhere else, what is the difference?

Assuming for the time being, and for arguments sake, it is something related to NightVision, not JDK the only two culprits I can think of are:

- It is setting DST (Daylight Savings Time) for some reason - under Set Location, I have checked "Auto DST" when I saved the settings - as our DST in North America doesn't kick in until March and November every year (spring forward, fall back) I haven't seen yet whether it will automatically change the time (and in that case the change would only be one hour, not two)

- the saved time zone setting is wrong for the location, or can't be understood, so everytime you start the program it reverts to GMT instead of GMT plus two (as a default perhaps?).

When I created the user location file and edited nvlocation.txt for Edmonton, I needed to enter location, Latitude / Longitude  and time zone, listed for me in the file as "America/Edmonton".

Heres the reason, the text taken directly from nvlocation:

- Timezone - Represented as either a numeric value or a text string.
#              Numeric values are hours:minutes for eastern timezones
#              and -hours:minutes for western timezones.  For example
#              Denver, Colorado, USA can be represented by -7:00, which
#              is the standard time difference between Denver and Greenwich,
#              England.  Numeric values may range from -13:00 to 13:00.
#              Minutes must be between 00 and 59.
#              However, it is recommended to use a text string to represent
#              the timezone, if possible.  Text strings allow Night Vision
#              to automatically adjust for daylight saving time (DST).
#              They must match one of the strings that your Java environment
#              uses to describe the various timezones, and are listed below.
#              For example the zone for Denver, Colorado, USA is
#              America/Denver.

That last sentence above, Ivan, may have some bearing on your problem - Not being a programmer, I don't know how our openJDK6 environment describes various timezones, but I know there is a list of them at the top of nvlocation - perhaps for you it can't find the descriptor it understands for your time zone, and as such defaults to GMT - it lists 438 Java environment descriptors for time zones which could be used in the nvlocation text file - I just happened to find one that was exactly for my location, but it is an unwieldy process (but necessary for Java?).

Position is also important for the information

 Night Vision reads the location data according to column, so it is
# important to keep information in the following columns:
#  1 - 30    Location name
# 32 - 38    Longitude
# 40 - 45    Latitude
# 47 - ...   Timezone
# Columns 31, 39, and 46 must be blank.  Do not use tabs.
#

None of that may help above, Ivan, but I think I've outlined the potential problem ............... whether you wanted to explore it further is another matter!

But Best of the day and week to you, Sir!

Mark

[xynixme]

#              For example the zone for Denver, Colorado, USA is
#              America/Denver.

That last sentence above, Ivan, may have some bearing on your problem - Not being a programmer, I don't know how our openJDK6 environment describes various timezones, but I know there is a list of them at the top of nvlocation - perhaps for you it can't find the descriptor it understands for your time zone, and as such defaults to GMT - it lists 438 Java environment descriptors for time zones which could be used in the nvlocation text file - I just happened to find one that was exactly for my location, but it is an unwieldy process (but necessary for Java?).

If "Europe/Paris" won't work, then the default North Pole and South Pole entry show that a time like "1:00" should work too.

[xynixme]

Cosmos/2: Brussels,_Belgium                +1:00   04:21  50:50
NVSN v2.6: Antwerp, Belgium             4:25  51:13   1:00
NVSN v4.0: Antwerp, Belgium                  4:25  51:13 Europe/Brussels

This should be a full, unverified, unofficial list of all known default locations, NVSN v4's file format. In America I couldn't always be arsed to find a perfect TZ string, so NVSN v4's Auto DST may not work (to fix: modify the line in nvlocations.txt). Do not forget to insert your own town if you're going to use this whole list, and perhaps make sure that NVSN v4 can still find your default town.

Code: [Select]

Aachen, Germany                   6:06  50:46 Europe/Berlin
Aberdeen, Scotland               -2:07  57:10 Europe/London
Addis Ababa, Ethiopia            38:47   9:00 Africa/Addis_Ababa
Adelaide, Australia             138:35 -34:54 Australia/Adelaide
Amsterdam, Netherlands            4:54  52:21 Europe/Amsterdam
Anchorage, Alaska, USA         -149:53  61:13 America/Anchorage
Ankara, Turkey                   32:50  39:55 Europe/Istanbul
Ann-Arbor, Michigan             -83:43  42:18 -5:00
Antwerp, Belgium                  4:25  51:13 Europe/Brussels
Armonk, New York                -73:43  41:08 America/New_York
Athens, Greece                   23:44  38:00 Europe/Athens
Atlanta, Georgia                -84:23  33:45 -5:00
Austin, Texas                   -97:45  30:17 -6:00
Bad-Homburg, Germany              8:37  50:13 Europe/Berlin
Baltimore, Maryland             -76:38  39:18 -5:00
Bangkok, Thailand               100:35  13:41 Asia/Bangkok
Barcelona, Spain                  2:10  41:25 Europe/Madrid
Basel, Switzerland                7:36  47:33 Europe/Zurich
Basingstoke, UK                 -01:05  51:16 Europe/London
Beaumont, Texas                 -94:06  30:05 -6:00
Beaverton, Oregon              -122:49  45:29 -8:00
Beijin, China                   116:23  39:55 Asia/Shanghai
Beirut, Lebanon                  35:30  33:53 Asia/Beirut
Bergen, Norway                    5:20  60:23 Europe/Oslo
Berkeley, California           -122:17  37:53 -8:00
Berlin, Germany                  13:23  52:32 Europe/Berlin
Bern, Switzerland                 7:26  46:57 Europe/Zurich
Besancon, France                  6:02  47:14 Europe/Paris
Bethesda, Maryland              -77:05  39:00 -5:00
Bethlehem, Pennsylvania         -75:22  40:36 -5:00
Blacksburg, Virginia            -80:25  37:15 -5:00
Boca-Raton, Florida             -80:05  26:22 -5:00
Boeblingen, Germany               9:01  48:41 Europe/Berlin
Bogota, Columbia                -74:05   4:38 America/Bogota
Bordeaux, France                -00:34  44:50 Europe/Paris
Boston, Massachusetts           -71:05  42:20 -5:00
Boulder, Colorado, USA         -105:17  40:01 America/Denver
Brasilia, Brazil                -47:54 -15:48 America/Sao_Paulo
Brevard, North-Carolina         -82:46  35:31 -5:00
Bridgetown, Barbados            -59:37  13:06 America/Barbados
Brisbane, Australia             153:00 -27:30 Australia/Brisbane
Brussels, Belgium                 4:21  50:50 Europe/Brussels
Buenos Aires, Argentina         -58:26 -34:36 America/Buenos_Aires
Burbank, California            -118:19  34:11 -8:00
Burlington, Vermont             -73:14  44:28 -5:00
Cairo, Egypt                     31:15  30:00 Africa/Cairo
Calcutta, India                  88:22  22:34 Asia/Calcutta
Calgary, Canada                -114:06  51:03 America/Edmonton
Cambridge, Massachusetts        -71:06  42:22 -5:00
Campinas, Brazil                -47:06 -22:54 -3:00
Canberra, Australia             149:08 -35:18 Australia/Canberra
Cape Town, South Africa          18:24 -33:54 Africa/Johannesburg
Caracas, Venezuela              -66:55  10:31 America/Caracas
Cary, North Carolina            -78:48  35:47 -5:00
Casablanca, Morocco              -7:42  33:36 Africa/Casablanca
Charleston, West Virginia       -81:40  38:23 -5:00
Charlotte, North Carolina       -80:50  35:03 -5:00
Chicago, Illinois, USA          -87:39  41:52 America/Chicago
Chiswick, United Kingdom        -00:18  51:28 Europe/London
Cincinnati, Ohio                -84:30  39:10 -5:00
Cleveland, Ohio                 -81:41  41:30 -5:00
Colorado-Springs, Colorado     -104:49  38:50 -7:00
Concord, California            -122:04  37:59 -8:00
Copenhagen, Denmark              12:29  55:43 Europe/Copenhagen
Corbeil-Essonnes, France          2:29  48:37 Europe/Paris
Costa-Mesa, California         -117:56  33:39 -8:00
Croydon, United Kingdom         -00:06  51:23 Europe/London
Cupertino, California          -122:01  37:19 -8:00
Curacao, Netherl.Antilles       -69:00  12:11 America/Curacao
Dakar, Senegal                  -17:24  14:40 Africa/Dakar
Dallas, Texas, USA              -96:47  32:47 America/Chicago
Danbury, Connecticut            -73:26  41:24 -5:00
Dayton, New Jersey              -74:31  40:23 -5:00
Dayton, Ohio                    -84:10  39:45 -5:00
Dearborn, Michigan              -83:14  42:18 -5:00
Deepwater, New Jersey           -75:30  39:42 -5:00
Denver, Colorado, USA          -104:59  39:44 America/Denver
Des-Moines, Iowa                -93:55  41:35 -6:00
Detroit, Michigan               -83:05  42:23 -5:00
Dortmund, Germany                 7:27  51:32 Europe/Berlin
Dublin, Ireland                 -06:15  53:20 Europe/Dublin
Duesseldorf, Germany              6:47  51:13 Europe/Berlin
East-Brunswick, New Jersey      -74:23  40:25 -5:00
East-Fishkill, New York         -73:47  41:33 America/New_York
Easter Island                  -109:20 -27:05 Pacific/Easter
Eastleigh, United Kingdom       -01:22  50:58 Europe/London
Eau-Claire, Wisconsin           -91:30  44:50 -6:00
Edinburgh, United Kingdom       -03:13  55:57 Europe/London
Edmonton, Canada               -113:25  53:34 America/Edmonton
Ehningen, Germany                 9:45  48:17 Europe/Berlin
El Paso, Texas                 -106:29  31:45 -7:00
Endicott, New York              -76:03  42:06 America/New_York
Erie, Pennsylvania              -80:05  42:07 -5:00
Essen, Germany                    6:57  51:27 Europe/Berlin
Evenaar, Equator                  0:00   0:00 0:00
Fairbanks, Alaska              -148:00  65:00 America/Anchorage
Fishkill, New York              -73:54  41:32 America/New_York
Florham-Park, New Jersey        -74:23  40:47 -5:00
Fort Collins, Colorado, USA    -105:05  40:33 America/Denver
Fort-Worth, Texas               -97:18  32:45 -6:00
Frankfurt, Germany                8:41  50:06 Europe/Berlin
Franklin-Lakes, New Jersey      -74:12  41:01 -5:00
Fujisawa, Japan                 139:29  35:22 Asia/Tokyo
Gaithersburg, Maryland          -77:13  39:08 -5:00
Galloway Forest Park, Scotland   -4:19  55:02 Europe/London
Geneva, Switzerland               6:09  46:12 Europe/Zurich
Gothenburg, Sweden               12:00  57:45 Europe/Stockholm
Grand-Rapids, Michigan          -85:40  42:57 -5:00
Greenford-Green, UK             -00:20  51:31 Europe/London
Greenock, United Kingdom        -04:45  55:57 Europe/London
Guadalajara, Mexico            -103:20  20:40 -6:00
Guatemala, Guatemala            -90:31  14:38 America/Guatemala
Habana, Cuba                    -82:20  23:10 -5:00
Haifa, Israel                    34:59  32:49 Asia/Jerusalem
Hamburg, Germany                 10:00  53:33 Europe/Berlin
Hamden, Connecticut             -72:55  41:23 -5:00
Hannover, Germany                 9:44  52:23 Europe/Berlin
Harrison, New York              -73:42  40:58 America/New_York
Hartford, Connecticut           -72:40  41:46 -5:00
Havant, United Kingdom          -00:59  50:51 Europe/London
Hawthorne, New York             -73:47  41:06 America/New_York
Heidelberg, Germany               8:42  49:25 Europe/Berlin
Helsinki, Finland                24:56  60:09 Europe/Helsinki
Herrenberg, Germany               8:52  48:36 Europe/Berlin
Hong Kong, China                114:08  22:25 Asia/Hong_Kong
Honolulu, Hawaii, USA          -157:51  21:19 Pacific/Honolulu
Hopewell-Jct., New York         -73:47  41:35 America/New_York
Houston, Texas                  -95:22  29:46 -6:00
Hursley, United Kingdom         -01:23  51:01 Europe/London
Indianapolis, Indiana           -86:10  39:45 America/Indianapolis
Irving, Texas                   -96:56  32:49 -6:00
Istanbul, Turkey                 28:59  41:02 Asia/Istanbul
Jakarta, Indonesia              106:47  -6:09 Asia/Jakarta
Jarfalla, Sweden                 17:50  59:24 Europe/Stockholm
Jeddah, Saudi Arabia             39:10  21:30 Asia/Riyadh
Jefferson-City, Missouri        -92:10  38:33 -6:00
Jena, Germany                    11:35  50:56 Europe/Berlin
Jericho, New York               -73:32  40:47 America/New_York
Jerusalem, Israel                35:13  31:47 Asia/Jerusalem
Johannesburg, South Africa       28:02 -26:10 Africa/Johannesburg
Juneau, Alaska                 -135:00  59:00 America/Juneau
Kabul, Afghanistan               69:09  34:30 Asia/Kabul
Kansas-City, Missouri           -94:33  39:02 -6:00
Karachi, Pakistan                67:02  24:51 Asia/Karachi
Katmandu, Nepal                  85:18  27:42 Asia/Katmandu
Kawasaki, Japan                 139:43  35:32 Asia/Tokyo
Kiev, Ukraine                    30:28  50:24 Europe/Kiev
Kingston, Jamaica               -76:48  17:58 America/Jamaica
Kingston, New York              -74:00  41:55 America/New_York
Kuala-Lumpur, Malaysia          101:42   3:08 Asia/Kuala_Lumpur
Kuwait-City, Kuwait              48:00  29:20 Asia/Kuwait
La Paz, Bolivia                 -68:09 -16:30 America/La_Paz
Lansing, Michigan               -84:34  42:44 -5:00
Las Vegas, Nevada, USA         -115:09  36:10 America/Los_Angeles
Las-Palmas, Gran Canaria        -15:09  28:03 Atlantic/Canary
Latham, New York                -73:45  42:44 America/New_York
Lexington, Kentucky             -84:30  38:02 -5:00
Lidingo, Sweden                  18:10  59:22 Europe/Stockholm
Lille, France                     3:05  50:39 Europe/Paris
Lima, Peru                      -77:02 -12:07 America/Lima
Lisbon, Portugal                 -9:08  38:44 Europe/Lisbon
Lisses, France                    2:26  48:36 Europe/Paris
London, England                  -0:04  51:31 Europe/London
London, United Kingdom           -0:10  51:30 Europe/London
Longmont, Colorado, USA        -105:06  40:10 America/Denver
Los Angeles, California, USA   -118:13  34:03 America/Los_Angeles
Los-Gatos, California          -121:59  37:13 -8:00
Madison, Wisconsin              -89:22  43:04 -6:00
Madrid, Spain                    -3:40  40:24 Europe/Madrid
Mahwah, New Jersey              -74:09  41:06 -5:00
Mainz, Germany                    8:16  50:00 Europe/Berlin
Malmo, Sweden                    13:08  55:35 Europe/Stockholm
Manassas, Virginia              -77:39  38:45 -5:00
Manchester, United Kingdom      -02:15  53:30 Europe/London
Manila, Philippines             120:59  14:36 Asia/Manila
Marseille, France                 5:22  43:18 Europe/Paris
Mauna Kea, Hawaii              -155:28  19:49 Pacific/Honolulu
McLean, Virginia                -77:13  38:57 -5:00
Mechanicsburg,Pennsylvania      -77:01  40:13 -5:00
Melbourne, Australia            144:58 -37:45 Australia/Melbourne
Melbourne, Florida              -80:38  28:04 -5:00
Melrose-Park, Illinois          -87:51  41:52 -6:00
Menlo-Park, California         -122:11  37:27 -8:00
Mexico City, Mexico             -99:11  19:26 America/Mexico_City
Miami, Florida, USA             -80:12  25:48 America/New_York
Middletown, Pennsylvania        -76:44  40:23 -5:00
Mijdrecht, Netherlands            4:55  52:12 Europe/Amsterdam
Milan, Italy                      9:12  45:28 Europe/Rome
Milford, Connecticut            -73:04  41:13 -5:00
Milpitas, California           -121:54  37:25 -8:00
Milwaukee, Wisconsin            -87:56  43:03 -6:00
Minneapolis, Minnesota, USA     -93:16  44:59 America/Chicago
Monterey-Park, California      -118:07  34:04 -8:00
Montevideo, Uruguay             -56:10 -34:55 America/Montevideo
Montpellier, France               3:53  43:36 Europe/Paris
Montreal, Canada                -73:36  45:31 America/Montreal
Montvale, New Jersey            -74:01  41:02 -5:00
Moscow, Russia                   37:37  55:45 Europe/Moscow
Mountain View, California      -122:04  37:23 -8:00
Munich, Germany                  11:34  48:08 Europe/Berlin

[xynixme]

Part 2:

Code: [Select]

Nairobi, Kenya                   36:49  -1:19 Africa/Nairobi
Nancy, France                     6:12  48:42 Europe/Paris
Nantes, France                  -01:35  47:14 Europe/Paris
Nashville, Tennessee            -86:50  36:10 -5:00
Nassau, Bahamas                 -77:20  25:05 America/Nassau
New Delhi, India                 77:12  28:36 Asia/Calcutta
New York City, New York, USA    -74:00  40:45 America/New_York
New-Castle, Delaware            -75:43  39:40 -5:00
New-Delhi, India                 77:12  28:36 Asia/Kolkata
Newark, Delaware                -75:45  39:42 -5:00
Niskayuna, New York             -73:50  42:46 America/New_York
Niwot, Colorado, USA           -105:10  40:06 America/Denver
North Pole, GMT Time              0:00  90:00 0:00
North-York, Canada              -79:26  43:44 -5:00
Norwalk, Connecticut            -73:25  41:07 -5:00
Oakland, California            -122:15  37:50 -8:00
Omaha, Nebraska                 -96:01  41:17 -6:00
Orange, Texas                   -93:44  30:06 -6:00
Orlando, Florida                -81:21  28:33 -5:00
Orleans, France                   1:54  47:54 Europe/Paris
Orly, France                      2:24  48:45 Europe/Paris
Osaka, Japan                    135:30  34:40 Asia/Tokyo
Oslo, Norway                     10:45  59:56 Europe/Oslo
Owego, New York                 -76:16  42:06 America/New_York
Palm-Springs, California       -116:33  33:50 -8:00
Palo-Alto, California          -122:10  37:26 -8:00
Panama-City, Panama             -79:32   8:58 America/Panama
Paris, France                     2:21  48:52 Europe/Paris
Parkersburg, West Virginia      -81:32  39:17 -5:00
Perth, Australia                115:49 -31:58 Australia/Perth
Philadelphia, Pennsylvania      -75:10  40:00 -5:00
Phoenix, Arizona, USA          -112:05  33:27 America/Phoenix
Pisa, Italy                      10:24  43:43 Europe/Rome
Piscataway, New Jersey          -74:23  40:29 -5:00
Pittsburgh, Pennsylvania        -80:00  40:26 -5:00
Port-of-Spain, Trinidad         -61:31  10:38 America/Port_of_Spain
Porto, Portugal                 -08:37  41:09 Europe/Lisbon
Portsmouth, United Kingdom      -01:05  50:48 Europe/London
Poughkeepsie, New York          -73:56  41:43 America/New_York
Princeton, New Jersey           -74:40  40:21 -5:00
Purchase, New York              -73:43  41:02 America/New_York
Quito, Ecuador                  -78:30  -0:13 America/Guayaquil
Raleigh, North Carolina         -78:39  35:46 -5:00
Rangoon, Myanmar                 96:10  16:47 Asia/Rangoon
Reading, Pennsylvania           -75:55  40:20 -5:00
Redmond, Washington            -122:07  47:40 -8:00
Redwood-City, California       -122:15  37:28 -8:00
Reston, Virginia                -77:21  39:02 -5:00
Reykjavik, Iceland              -21:52  64:10 Atlantic/Reykjavik
Richmond, Virginia              -77:26  37:34 -5:00
Rio de Janeiro, Brazil          -43:09 -22:56 America/Sao_Paulo
Roanoke, Texas                  -97:14  33:00 -6:00
Rochester, Minnesota            -92:27  44:01 -6:00
Rochester, New York             -77:37  43:12 America/New_York
Rockville, Maryland             -77:10  39:05 -5:00
Rome, Italy                      12:31  41:52 Europe/Rome
Roseland, New Jersey            -74:13  40:49 -5:00
Sacramento, California         -121:30  38:32 -8:00
Saint-Louis, Missouri           -90:15  38:40 -6:00
Sainte-Marie, France              2:54  44:53 Europe/Paris
Salt Lake City, Utah, USA      -111:53  40:45 America/Denver
Samarkand, Uzbekistan            66:36  39:24 Asia/Tashkent
San-Diego, California          -117:09  32:43 -8:00
San-Francisco, California      -122:27  37:45 -8:00
San-Jose, California           -121:55  37:20 -8:00
San-Jose, Costa Rica            -84:04   9:59 America/Costa_Rica
San-Ramon, California          -121:58  37:47 -8:00
San-Salvador, El Salvador       -89:10  13:40 America/El_Salvador
Santa-Clara, California        -121:58  37:21 -8:00
Santa-Cruz, Tenerife            -16:15  28:20 Atlantic/Canary
Santiago, Chile                 -70:40 -33:30 America/Santiago
Santo-Domingo, Dom. Rep.        -69:57  18:30 Amercia/Santo_Domingo
Sao-Paulo, Brazil               -46:39 -23:33 America/Sao_Paulo
Schaumburg, Illinois            -88:05  42:02 -6:00
Scranton, Pennsylvania          -75:40  41:25 -5:00
Seattle, Washington, USA       -122:18  47:34 America/Los_Angeles
Segrate, Italy                    9:19  45:29 Europe/Rome
Seoul, South Korea              127:00  37:32 Asia/Seoul
Shanghai, China                 121:28  31:14 Asia/Shanghai
Sindelfingen, Germany             9:01  48:43 Europe/Berlin
Singapore, Singapore            103:51   1:14 Asia/Singapore
Somers, New York                -73:41  41:20 America/New_York
South Pole, GMT Time              0:00 -90:00 0:00
Southbury, Connecticut          -73:13  41:28 -5:00
Southfield, Michigan            -83:16  42:28 -5:00
Southlake, Texas                -97:09  32:56 -6:00
Springfield, Illinois           -89:39  39:49 -6:00
St. Louis, Missouri, USA        -90:15  38:37 America/Chicago
St. Petersburg, Russia           30:21  59:57 Europe/Moscow
St.-Paul, Minnesota             -93:10  45:00 -6:00
Stamford, Connecticut           -73:32  41:03 -5:00
Stavanger, Norway                 5:40  58:57 Europe/Oslo
Sterling-Forest, New York       -74:16  41:10 America/New_York
Stevenage, United Kingdom       -00:11  51:54 Europe/London
Stockholm, Sweden                18:10  59:20 Europe/Stockholm
Sudbury, United Kingdom         -00:14  51:34 Europe/London
Sunnyvale, California          -122:01  37:23 -8:00
Sydney, Australia               151:13 -33:54 Australia/Sydney
Tacoma, Washington             -122:30  47:16 -8:00
Taipei, Taiwan                  121:31  25:02 Asia/Taipei
Tampa, Florida                  -82:38  27:58 -5:00
Tarrytown, New York             -73:51  41:05 America/New_York
Tegucigalpa, Honduras           -87:14  14:05 America/Tegucigalpa
Tehran, Iran                     51:25  35:40 Asia/Tehran
Tel-Aviv, Israel                 34:46  32:05 Asia/Tel_Aviv
Thornwood, New York             -73:46  41:07 America/New_York
Tokyo, Japan                    139:47  35:41 Asia/Tokyo
Topeka, Kansas                  -95:41  39:02 -6:00
Toronto, Canada                 -79:23  43:41 America/Toronto
Towanda, Pennsylvania           -76:27  41:46 -5:00
Tripoli, Libya                   13:12  32:50 Africa/Tripoli
Troy, Michigan                  -83:09  42:34 -5:00
Tucson, Arizona                -110:57  32:15 -7:00
Tulsa, Oklahoma                 -95:58  36:07 -6:00
Uithoorn, Netherlands             4:48  52:14 Europe/Amsterdam
Ulaanbaatar, Mongolia           106:54  47:53 Asia/Ulan_Bator
Utrecht, Netherlands              5:07  52:06 Europe/Amsterdam
Valencia, Spain                   0:24  39:29 Europe/Madrid
Vancouver, Canada              -123:07  49:16 America/Vancouver
Vestal, New York                -76:03  42:05 America/New_York
Victoria, Texas                 -97:00  28:43 -6:00
Vienna, Austria                  16:22  48:12 Europe/Vienna
Vimercate, Italy                  9:22  45:37 Europe/Rome
Vladivostok, Russia             131:58  43:02 Asia/Vladivostok
Waltham, Massachusetts          -71:14  42:23 -5:00
Wangaratta, Australia           146:20 -36:22 Australia/Melbourne
Wappingers-Falls, New York      -73:55  41:36 America/New_York
Warwick, United Kingdom         -01:34  52:17 Europe/London
Washington, D.C., USA           -77:00  38:54 America/New_York
Wayne, Pennsylvania             -75:23  40:03 -5:00
Wellington, New Zealand         174:48 -41:16 Pacific/Auckland
West-Orange, New Jersey         -74:14  40:48 -5:00
Westboro, Massachusetts         -71:37  42:17 -5:00
Westlake, Texas                 -97:12  32:59 -6:00
White-Plains, New York          -73:46  41:02 America/New_York
Wilmington, Delaware            -75:31  39:46 -5:00
Winchester, United Kingdom      -01:19  51:04 Europe/London
Winnipeg, Canada                -97:10  49:53 America/Winnipeg
Winston-Salem, N.Carolina       -80:15  36:05 -5:00
Woodland-Hills, California     -118:35  34:11 -8:00
Yamato, Japan                   130:30  33:08 Asia/Tokyo
Yasu, Japan                     136:01  35:03 Asia/Tokyo
Yorktown-Heights, New York      -73:47  41:17 America/New_York
Zoetermeer, Netherlands           4:22  52:03 Europe/Amsterdam
Zurich, Switzerland               8:33  47:23 Europe/Zurich

[ivan]

Hi André,

Are you saying that actual time differences from GMT can be used rather than the text pair?  If so I will give that a try because using Europe/Paris just gives GMT, not the one hour advance of it that it should.

[Mark Szkolnicki]

Hi Ivan!

I had a chance to go right back to the beginning of this topic in your first post, and noted you said you were on summer time.

I was searching the internet and noted a link to a discussion about a bug reported in various versions of Java 5:

https://bugs.launchpad.net/ubuntu/+source/sun-java5/+bug/49068

It seemed to occur as I understand it, only when Daily Savings Time (DST) (which I assume is the same as what you describe as "summer time" is in effect . The bug created time offset problems.

Is there anyway you can try to see if you still observe the problem when not on "summer time"?

I'm not on DST at the moment (Mountain Standard Time) so perhaps that is why with OpenJDK6 GA5 I'm reading correctly, but your not.. It was being reported as a bug in Java 5, but perhaps it crept into our version of Java 6?

Don't know if it was solved, but from reading about time/date stamping in Java, it has been a headache through various versions, related to relative vs. absolute time stamping and non conformance in many cases with ISO 8601 (the international date/time representation standard). This is supposedly fixed in Java 8.

There is also a very interesting discussion of Java Date / Time Stamping and the problems involved at:

https://vladmihalcea.com/2014/11/17/a-beginners-guide-to-java-time-zone-handling/

Best!

Mark

[xynixme]

Are you saying that actual time differences from GMT can be used rather than the text pair?  If so I will give that a try because using Europe/Paris just gives GMT, not the one hour advance of it that it should.

Actually the quoted comments are saying that, and the sample file doesn't use Unix' text pair for the North Pole.

Apparently "Europe/Paris" (or a Unix text representing 2:00) is required for Auto DST, so using a number may introduce manual adjustments twice per year. So you may have to append NVSN 4.0 to a list of apps with a manual DST setting.

My earlier list of cities, a combination of several default OS/2 lists, always used the text for France.

If you weren't loving Unix solutions yet, then surely you must love Unix solutions by now...

[xynixme]

Daily Savings Time (DST) (which I assume is the same as what you describe as "summer time" is in effect .

Correct. In Europe "DST" may represent the whole system of using winter time and summer time, instead of one specific period with an adjusted time. Over there you have to know that "summer time" is DST, and that "winter time" is the normal time.

[ivan]

Hi Mark.

At the moment we are on standard Europe time (GMT +1) and NV4 still shows GMT even when I change the place to Paris.

My assumption is that it is a Java problem with our openjdk6 port and not one of NV4.  It works if I remember to set the time at the start of NV4.

[Mark Szkolnicki]

Daily Savings Time (DST) (which I assume is the same as what you describe as "summer time" is in effect .

Correct. In Europe "DST" may represent the whole system of using winter time and summer time, instead of one specific period with an adjusted time. Over there you have to know that "summer time" is DST, and that "winter time" is the normal time.

Hi Andre!

Actually that is the same here - we are currently on Mountain Standard Time (MST) - we change to Mountain Daylight Time (MDT - one hour forward) in March.

Perhaps I misunderstood Ivan's first post, but I thought it may have some bearing on the problem, at least for test purposes.

Best!

M

[Mark Szkolnicki]

Hi Mark.

At the moment we are on standard Europe time (GMT +1) and NV4 still shows GMT even when I change the place to Paris.

My assumption is that it is a Java problem with our openjdk6 port and not one of NV4.  It works if I remember to set the time at the start of NV4.

After reading the linked information in my previous post, there seems to be potential problems with certain Java Date / Time classes, so I would tend to agree that its worth exploring - the question still remains though as to why the time zone setting works here, in setting and retaining correct time and not with you, Ivan. That is whats puzzling me.

Does anyone know of any other Java programs that have a time sensitive or time specific component, and works under OpenJDK6? I'd be interested in trying to reproduce the problem, if possible, just for experiments sake (I'm a great experimenter  when I have the time).

I also may, on one of my test machines, switch the date and time to somewhere within Daylight Savings Time, and see whether it does anything to NVJ's date / time properties.

This may sound like an extremely stupid question, but would the "set TZ" variable in OS/2/eCS Config.sys have any bearing on what Java 6 sees, time wise, when its running? More for interests sake on my part, as I'm assuming, Ivan, that everything is set correctly in whatever incarnation(s) of OS/2 / eCS you are using at the moment (and considering you stated NVJ works fine under the OS/2 / eCs version of Java 4, based on your first post).

Best!

Mark

[ivan]

The SET TZ is correct (it is the same on all of our workstations) and our daily check with 'europe.pool.ntp.org' using timeset only changes the odd tenth of a second.  It also changes the Daylight Saving Time at the correct time.

The attached is showing the time that NV4 has at startup, a short time ago, which is GMT  when it should be GMT+1.