Hi all,

I'm using Saxon 9.3 to format a dateTime in the Australian Eastern time zone (GMT+11) as so:
<?xml version="1.0" encoding="UTF-8"?>
    <xsl:output indent="yes"/>
    <xsl:template match="/">
        <xsl:variable name="utc-timestamp" select="current-dateTime()"/>
        <xsl:variable name="au-timestamp" select="adjust-dateTime-to-timezone($utc-timestamp, xs:dayTimeDuration('PT11H'))"/>
        <date timestamp="{$utc-timestamp}">
            <aedt str="{$au-timestamp}">
                <xsl:value-of select="format-dateTime($au-timestamp, '[D] [MNn] [Y] [h]:[m01] [Pn,*-2] [ZN,*-3]', ('en'), (), 'au')"/>

This produces what I would expect:
<?xml version="1.0" encoding="UTF-8"?>
<date timestamp="2014-02-13T15:44:58.109-05:00">
   <aedt str="2014-02-14T07:44:58.109+11:00">14 February 2014 7:44 am EST</aedt>

However, what I really want is to display "AEST" rather than "EST".  I am sure I could accomplish this by working around Saxon's date formatting capability and formatting it myself, but there is a brief comment in the Saxon 8.6 change notes that says "Timezone names can be customized in the same way as other localizations are performed, using a subclass of Numberer."  Since I don't see any mention of timezone in Numberer or any of its implementing classes, I suspect that this is no longer the case.

Is there a way to customize the timezone abbreviation used (and to add support for additional ones)?  It looks like NamedTimeZone is the class that does this work now, and from what I can see looking through the source there is no opportunity to override, but I wanted to get input from those who have likely been using Saxon far longer than I have.  This is easy enough to do when formatting dates in Java (using the DateFormatSymbols class), but I'm not clear on how I might plug that into Saxon.

I'm currently using Saxon, but my project will be upgrading to 9.x PE at some point. So, if it's a matter of needing PE then I will have that option.

Many thanks in advance for your assistance.