small change, so that jstar compiles

(i forgot to commit both repositories yesterday)