Code Editor : spec.jsf