/** Java class path. */
  JAVA_CLASS_PATH("java.class.path"),

  /** List of paths to search when loading libraries. */
  JAVA_LIBRARY_PATH("java.library.path"),

  /** Default temp file path. */
  JAVA_IO_TMPDIR("java.io.tmpdir"),

  /** Name of JIT compiler to use. */
  JAVA_COMPILER("java.compiler"),

  /**
   * Path of extension directory or directories.
   *
   * @deprecated This property was <a

     */
    public static final String OS_NAME = System.getProperty("os.name");

    /**
     * <code>java.io.tmpdir</code> system property. Example: /tmp
     */
    public static final String JAVA_IO_TMPDIR = System.getProperty("java.io.tmpdir");

    /**
     * <code>user.dir</code> system property.
     */
    public static final String USER_DIR = System.getProperty("user.dir");

    /**

  /** Java class path. */
  JAVA_CLASS_PATH("java.class.path"),

  /** List of paths to search when loading libraries. */
  JAVA_LIBRARY_PATH("java.library.path"),

  /** Default temp file path. */
  JAVA_IO_TMPDIR("java.io.tmpdir"),

  /** Name of JIT compiler to use. */
  JAVA_COMPILER("java.compiler"),

  /**
   * Path of extension directory or directories.
   *
   * @deprecated This property was <a

        System.out.println(SystemUtil.LINE_SEPARATOR);
        System.out.println(SystemUtil.PATH_SEPARATOR);
        System.out.println(SystemUtil.OS_NAME);
        System.out.println(SystemUtil.JAVA_IO_TMPDIR);
        System.out.println(SystemUtil.USER_DIR);
        System.out.println(SystemUtil.USER_HOME);
    }