A Smoke Test for Java EE Application Servers