Getting Started with Retrace for Java