plugins/org.eclipse.wst.server.ui/.options - servertools/webtools.servertools - Gitiles

 # Debugging options for the org.eclipse.wst.server.ui plugin

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

 # Prints out values
 org.eclipse.wst.server.ui/editor=false
	# Debugging options for the org.eclipse.wst.server.ui plugin

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

	# Prints out values
	org.eclipse.wst.server.ui/editor=false