35  *  <p><b>This is NOT part of any supported API.

    35  *  <p><b>This is NOT part of any supported API.

    36  *  If you write code that depends on this, you do so at your own risk.

    36  *  If you write code that depends on this, you do so at your own risk.

    37  *  This code and its internal interfaces are subject to change or

    37  *  This code and its internal interfaces are subject to change or

    38  *  deletion without notice.</b>

    38  *  deletion without notice.</b>

    39  */

    39  */

    40 public class DocPath {

    41 public class DocPath {

    41     private final String path;

    42     private final String path;

    42 

    43 

    43     /** The empty path. */

    44     /** The empty path. */

    44     public static final DocPath empty = new DocPath("");

    45     public static final DocPath empty = new DocPath("");