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