Is Options.getProperties() not supposed to return a full Map (including
parent properties) or is the current code incorrect?  (I'm voting for
the later, but I figured that I'd ask before I made any changes.)

-Bill




---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to