Eclipse Java-8 compiler doesn't like autocast from Integer to double