 * The preference page used to present the properties of a GDB dynamic printf as preferences.
 * The preference page used to present the properties of a GDB dynamic printf as preferences. | GDBDynamicPrintfPropertyPage.java