# Debugging options for the org.eclipse.jst.server.tomcat.ui plugin

# Turn on general debugging
org.eclipse.jst.server.tomcat.ui/debug=true
