Java array class is not kawa Class?

[Yaroslav Kavenchuk]

#|kawa:21|# (define a (integer[] 1 2 3 4 5))
#|kawa:22|# a
[1 2 3 4 5]
#|kawa:23|# a:Class
class [Lgnu.math.IntNum;
#|kawa:24|# (a:Class:toString)
Invalid parameter, was: gnu.bytecode.ArrayType cannot be cast to 
gnu.bytecode.ClassType
java.lang.ClassCastException: gnu.bytecode.ArrayType cannot be cast to 
gnu.bytecode.ClassType
        at 
gnu.kawa.functions.GetNamedPart.getNamedPart(GetNamedPart.java:290)
        at gnu.kawa.functions.GetNamedPart.apply2(GetNamedPart.java:245)
        at atInteractiveLevel$23.run(stdin:24)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:302)
        at kawa.Shell.run(Shell.java:275)
        at kawa.Shell.run(Shell.java:186)
        at kawa.Shell.run(Shell.java:167)
        at kawa.repl.main(repl.java:870)
#|kawa:26|# a:Class:ComponentType
Invalid parameter, was: gnu.bytecode.ArrayType cannot be cast to 
gnu.bytecode.ClassType
java.lang.ClassCastException: gnu.bytecode.ArrayType cannot be cast to 
gnu.bytecode.ClassType
        at 
gnu.kawa.functions.GetNamedPart.getNamedPart(GetNamedPart.java:290)
...

How to work with ArrayType? How get class of array element?

Thanks!

-- 
WBR, Yaroslav Kavenchuk.