10 |
// public static Object get(String res, int offs, int len); |
// public static Object get(String res, int offs, int len); |
11 |
// public static Object get(char[] res, int offs, int len); |
// public static Object get(char[] res, int offs, int len); |
12 |
|
|
13 |
private static my_namespace = new URN5Namespace(); |
private static URN5Namespace my_namespace = new URN5Namespace(); |
14 |
|
|
15 |
/** Mint a 'new' node. |
/** Mint a 'new' node. |
16 |
* This mints (creates) a new random urn-5 URI |
* This mints (creates) a new random urn-5 URI |