note about eclipse formatting plugin