private int jjMoveStringLiteralDfa13_0(long old1, long active1)
{
   if (((active1 &= old1)) == 0L)
      return jjStartNfa_0(11, 0L, old1, 0L);
   try { curChar = input_stream.readChar(); }
   catch(java.io.IOException e) {
      jjStopStringLiteralDfa_0(12, 0L, active1, 0L);
      return 13;
   }
   switch(curChar)
   {
      case 95:
         return jjMoveStringLiteralDfa14_0(active1, 0x18000000000000L);
      case 69:
      case 101:
         return jjMoveStringLiteralDfa14_0(active1, 0x3000L);
      case 82:
      case 114:
         return jjMoveStringLiteralDfa14_0(active1, 0x200L);
      case 84:
      case 116:
         return jjMoveStringLiteralDfa14_0(active1, 0x800L);
      default :
         break;
   }
   return jjStartNfa_0(12, 0L, active1, 0L);
}