new String[0] might be terser, even if trivially slower.