Pushing to fix eclipse glitch