Sets the given prefix; a namespace value of null removess the prefix
(String prefix, String namespace)
| 268 | * prefix */ |
| 269 | |
| 270 | public void setPrefix (String prefix, String namespace) { |
| 271 | if (prefixes == null) prefixes = new Vector (); |
| 272 | prefixes.addElement (new String [] {prefix, namespace}); |
| 273 | } |
| 274 | |
| 275 | |
| 276 | /** |