changed GhostscriptSwitch attributes to sealed