@Test
public void version71() throws MalformedObjectNameException, IntrospectionException, InstanceNotFoundException, ReflectionException, AttributeNotFoundException, MBeanException {

    expect(server.queryNames(new ObjectName("jboss.system:type=Server"),null)).andReturn(Collections.<ObjectName>emptySet());
    prepareQuery("jboss.as:*");
    ObjectName oName = new ObjectName("jboss.as:management-root=server");
    expect(server.getAttribute(oName,"productVersion")).andReturn(null);
    expect(server.getAttribute(oName,"releaseVersion")).andReturn("7.1.1.Final");
    expect(server.getAttribute(oName,"productName")).andReturn(null);
    replay(server);
    ServerHandle handle = detector.detect(servers);
    assertEquals(handle.getVersion(),"7.1.1.Final");
    assertEquals(handle.getVendor(),"RedHat");
    assertEquals(handle.getProduct(),"jboss");
    verifyNoWorkaround(handle);
}