java.text.SimpleDateFormatのJavadocは、「z」パターン文字に次のように記述しています。
zタイムゾーン一般的なタイムゾーン太平洋標準時。PST; GMT-08:00
一般的なタイムゾーン:タイムゾーンに名前がある場合、タイムゾーンはテキストとして解釈されます。GMTオフセット値を表すタイムゾーンの場合、次の構文が使用されます...
質問は-「名前がある場合」...これらの名前はどこから取得されますか?ある環境ではJSTが「JST」として表示され、別の環境では「GMT+9」として表示されます。