Global.helma.File.getName ()
Sourcecode in /home/hannes/helma/modules/helma/File.js:
63:   this.getName = function() {
64:         var name = file.getName();
65:         return (name == null ? "" : name);
66:      }