JavaCC options support