The content of the article is organized as follows. The next section delineates the main architectural design; we then present an overview of the Java language features and packages that are relevant to our work; the article goes on to address the implementation issues. We close by summarizing and commenting on potential directions of future work.