我想以某种方式以EEE 1003.1（POSIX）格式打印本地时区。在表单中：
std offset dst [offset],start[/time],end[/time]
在 http://www.gnu.org/software/libc/manual/html_node/TZ-Variable.html 中描述
我已经想出了如何从 Java 对象获取std和offset TimeZone，我什至可以使用反射或解析toString输出从时区对象获取 DST 的start和end......我无法弄清楚的是 如何获取dst字段，即 dst字符串和偏移量指定相应夏令时区的名称和偏移量，这与std offset不同，例如，这对于美国的东部时区是正确的：
EST+5EDT,M4.1.0/2,M10.5.0/2
您可以使用 SimpleDateFormat 并使用模板 z 设置合适日期的格式。如果我正确阅读了Javadocs，尤其是示例，则应导致DST名称的缩写形式