| # Prints debug information | |
| org.eclipse.jdt.text.tests/debug=true | |
| # Override the number of runs in performance measurements | |
| org.eclipse.jdt.text.tests/debug/performance/OverrideRuns=false | |
| # Override the number of warm-up runs in performance measurements with the given value | |
| org.eclipse.jdt.text.tests/debug/performance/OverrideWarmUpRuns=2 | |
| # Override the number of measured runs in performance measurements with the given value | |
| org.eclipse.jdt.text.tests/debug/performance/OverrideMeasuredRuns=2 |