changed timing trace option names
diff --git a/bundles/org.eclipse.core.runtime/.options b/bundles/org.eclipse.core.runtime/.options index 649b2a0..2418841 100644 --- a/bundles/org.eclipse.core.runtime/.options +++ b/bundles/org.eclipse.core.runtime/.options
@@ -8,10 +8,10 @@ org.eclipse.core.runtime/debug/context=false # Prints time taken by Plugin constructors and startup() methods. -org.eclipse.core.runtime/debug/startup=false +org.eclipse.core.runtime/timing/startup=false # Prints time taken by Plugin.shutdown() methods. -org.eclipse.core.runtime/debug/shutdown=false +org.eclipse.core.runtime/timing/shutdown=false # Turn on debugging for the registry. org.eclipse.core.runtime/registry/debug=false