
#### 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

