Fixes a critical bug in 5.4.0 which leads to Java Editor exceptions in Eclipse. Upgrade from 5.4.0 is strongly recommended.