Fixed bug 441731: JDT reports unnecessary cast, using the Quickfix to
remove it creates syntax error