@Test
public void version7() throws MalformedObjectNameException, IntrospectionException, InstanceNotFoundException, ReflectionException {

    expect(server.queryNames(new ObjectName("jboss.system:type=Server"),null)).andReturn(Collections.<ObjectName>emptySet());
    expect(server.queryNames(new ObjectName("jboss.as:*"),null)).andReturn(Collections.<ObjectName>emptySet());
    prepareQuery("jboss.modules:*");
    replay(server);
    ServerHandle handle = detector.detect(servers);
    assertEquals(handle.getVersion(),"7");
    assertEquals(handle.getVendor(),"RedHat");
    assertEquals(handle.getProduct(),"jboss");
    // Verify that no workaround is active
    verifyNoWorkaround(handle);
}