Contains the properties view of the editor.


(c) 2005-2011 Eclipse Java Workflow Tooling (JWT) Project <www.eclipse.org/jwt>