# Debugging options for org.eclipse.jpt.ui plug-in # Turn on debugging for the org.eclipse.jpt.ui plugin. org.eclipse.jpt.ui/debug=false # Turn on debugging for unit-tests org.eclipse.jpt.ui/debug/unit-tests=false # Turn on debugging for events occurring in the UI panes org.eclipse.jpt.ui/debug/ui/layout=false org.eclipse.jpt.ui/debug/ui/detailsView=false # Turn on debugging for events coming from ConnectionProfile org.eclipse.jpt.ui/debug/ui/db=false