| # Debugging options for the org.eclipse.wst.server.ui plugin | |
| # Turn on general debugging | |
| org.eclipse.wst.server.ui/debug=true | |
| # Loading of extension points | |
| org.eclipse.wst.server.ui/extension_point=false | |
| # Performance of loading and calling delegates | |
| org.eclipse.wst.server.ui/performance=false |