fix Eclipse compilation