Sample spec and input files for java