Hi Michael, I think something like this has been posted before, but since I just recently switched to Eclipse a short up-to-date description would be fine.
Thanx, Wolfram -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
