" non-optional attribute is missing: y ");
" non-optional attribute is missing: 'y");
    public void testCaseTCN45() throws Exception {        deployExpectingException(FILES+"tcn45.sf",                "tcn45",                "SmartFrogDeploymentException",                null,                "SmartFrogCompileResolutionException",                " non-optional attribute is missing: y ");    }