inesc-id-esw/jvstm — pull request #8 by smmf (2013-07-10 16:59:29+00:00)
Title: Feature/be friendlier to fenix framework

Second take on refactorings to JVSTM 2 to make its use easier.