"SmartFrogDeploymentException", null,
    public void testCaseTCN43() throws Exception {        deployExpectingException(FILES+"tcn43.sf",                "tcn43",                "SmartFrogCompileResolutionException",                "wrong class found for attribute z ");    }