Eclipse 4.4 compatibility fix