| #### Resources settings | |
| # enable Resourced debugging | |
| org.eclipse.core.resources/debug=true | |
| # Monitor builders and gather time statistics etc. | |
| org.eclipse.core.resources/monitor/builders=true | |
| # Monitor resource change listeners and gather time statistics etc. | |
| org.eclipse.core.resources/monitor/listeners=true | |