Demo of the StatefulJ Framework