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