Cristian Maglie dece2b4751 Update eclipse java-formatter settings		2015-03-27 14:51:11 +01:00
..
org.eclipse.jdt.core.prefs	…
org.eclipse.jdt.ui.prefs	…