Packed full HOL on #JavaEE 6 with @arungupta at #Jfokus !!