java.time APIs that silently use the default system time-zone are not allowed.