# Debugging options for the org.eclipse.ptp.cell.preferences plugin.

