Category[] categories = CategoryManager.getCategories();
List v = new ArrayList();
for (int i=0;i<categories.length;i++){
Category cat = categories[i];
if ( cat.getType() == Category.TYPE_USER ){
v.add( cat.getName());
}
}
String[] res = new String[v.size()];
v.toArray( res );
// make it nice for clients
Arrays.sort( res, StaticUtilities.getFormatters().getAlphanumericComparator( true ));
return( res );