[misc] Updated Eclipse formatter configuration to take into account Java7 settings