Incorrect file name in auto-generated slice2java header comments

[mefoster]

While playing around with Slice files to track down the bug I just posted about, I noticed something funny in the headers of slice2java-generated files. For example, this is inside StringList1Helper.java:

// <auto-generated>
//
// Generated from file `StringList1Helper.java'
//
// Warning: do not edit this file.
//
// </auto-generated>

That's not the file that it was generated from; that's the name of the generated file itself. (In this case, it should probably say "Generated from file `StringList.ice'.)

[mes]

Hi Mary Ellen,

Thanks for reporting this. Silly bug, but easy enough to fix.

Regards,
Mark