A scheduler for Java EE apps