change return type of category() to Integer - it should be more effective because of Integer.valueOf(int)
1 file changed
tree: a45b84c660a6565ee6b80e3267b2386a1dea5827
  1. itcl/
  2. tcl/
  3. xotcl/