[flexcoders] Flex Builder Professional

[George]

Which version of Eclipse is delivered with Flex Builder Professional,
and has anyone used the capabilities of MyLyn and Mantis with Flex
Builder?