A scripting frontend for Java Robot