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