equal
deleted
inserted
replaced
466 * |
466 * |
467 * @since 1.7 |
467 * @since 1.7 |
468 */ |
468 */ |
469 public abstract static class Redirect { |
469 public abstract static class Redirect { |
470 private static final File NULL_FILE = new File( |
470 private static final File NULL_FILE = new File( |
471 (GetPropertyAction.getProperty("os.name") |
471 (GetPropertyAction.privilegedGetProperty("os.name") |
472 .startsWith("Windows") ? "NUL" : "/dev/null") |
472 .startsWith("Windows") ? "NUL" : "/dev/null") |
473 ); |
473 ); |
474 |
474 |
475 /** |
475 /** |
476 * The type of a {@link Redirect}. |
476 * The type of a {@link Redirect}. |