Java SE for Embedded Devices: New release, new features, better performance