removed annotation because of eclipse bug