Re: ARM support to be removed from IcedTea