The HotJavaTM Browser gives you the option to display a clock in the header, which by default indicates the date and time using this format:

Feb 2, 2:30 PM

You can change the format of the clock display by specifying the hotjava.clock.format property. See Customizing the HotJava Browser for information about editing properties files.

The property used to create the default format is
hotjava.clock.format=MMM d', 'h:mm a

The interpretation of this format is described by the elements in the table below. The hotjava.clock.format property must be specified using the syntax in this table.

Symbol   Meaning Presentation   Example
a AM/PM marker Text PM
d Day in month Number 10
D Day in year Number 189
E Day in week Text Tuesday
F Day of week in month Text 3 (result on 3rd Fri. in July)
G Era designator Text AD
h Hour in am/pm (1-12)* Number 12
k Hour in day (1-24)* Number 24
H Hour in day (0-23)* Number 0
K Hour in am/pm (0-11)*   Number 0
m Minute in hour Number 30
M Month in year Text or Number   July or 07
s Second in minute Number 55
S Millisecond in minute Number 978
w Week in year Number 27
W Week in month Number 3
y Year Number 1997
z Time zone Text Pacific Standard Time
' Delimits text    
'' Single quote   '
*The difference between the upper- and lower-case h and k patterns (h, k, H, and K) occurs only at the noon and midnight hours. If you use the lower-case patterns (h and k), these hours produce the numbers 12 or 24. If you use the upper-case pattern H, the number 0 is used at the midnight hour. The upper-case pattern K produces 0 at midnight and noon.

The number of letters in each pattern determines whether a long or short format is used for that element.

For the cases where Presentation=Text, if there are 4 or more letters in the pattern, the full format is created. If there are 3 or fewer letters, an abbreviated form is used if it exists. For example, a format using E, EE, or EEE would all produce Sun, Mon, etc., while EEEE would result in Sunday, Monday, and so on. Similarly, z might produce PST, while zzzz in the same time zone would result in Pacific Standard Time.

For the patterns that produce numbers, the number of letters in the pattern determines the minimum number of digits. For example, h results in 4 at 4:00, while hh results in 04. Year is a special case, in that yy produces a truncated year (e.g. 97).

For month (M), which produces text or a number, use 1 or 2 M's to get a number (e.g. M produces 2 and MM produces 02 for February). Use 3 M's for abbreviated text (MMM creates Feb), and use 4 or more M's for full text (MMMM creates February).

Any characters in a pattern that aren't letters are treated as quoted text. Therefore you don't need to quote special characters such as comma, colon, space, ampersand, and so on.

Here are some examples of hotjava.clock.format values, and what they might produce:

Format Pattern  Result
MMM d',' h:mm a Feb 2, 2:30 PM (the default format)
yyyy.MM.dd G 'at' hh:mm:ss z 1997.07.09 AD at 15:08:56 PDT
EEE, MMMM d, ''yy Wed, July 9, '97
hh 'o''''clock' a, zzzz 12 o'clock PM, Pacific Daylight Time 
yyyy.MMMM.dd GGG hh:mm aaa    1997.July.09 AD 12:08 PM

Back to HotJava Browser Display Preferences

Back to Customizing the HotJava Browser