A suite of tools for describing how to execute a java program