Yes, as you've observed, the names don't matter -- only the type and number of the arguments. The return type must be the same too, although if that's the only thing that's different, the code won't compile.
I'm sure you meant to say, "The return type can differ too..."
The return type of an overriding instance method or a hiding static method must be identical to the superclass method or you will get a compiler error.
I think that Ernest's point is that differing formal parameter types result in method overloading instead of overriding, while differing return types result in an error. [ March 04, 2005: Message edited by: Mike Gershman ]