More than 200 user-reported bugs have been squashed since the last release, and the other key improvements are official support for Navigation Editor, improved incremental Java compilation when ...