(Fixed JavaCC warning)