Fix Eclipse 4.4. compilation issues