private int jjMoveStringLiteralDfa7_0(long old0, long active0)
{
   if (((active0 &= old0)) == 0L)
      return jjStartNfa_0(5, old0);
   try { curChar = input_stream.readChar(); }
   catch(java.io.IOException e) {
      jjStopStringLiteralDfa_0(6, active0);
      return 7;
   }
   switch(curChar)
   {
      case 110:
         if ((active0 & 0x80000000L) != 0L)
            return jjStartNfaWithStates_0(7, 31, 8);
         return jjMoveStringLiteralDfa8_0(active0, 0x1000000L);
      case 111:
         return jjMoveStringLiteralDfa8_0(active0, 0x410000L);
      case 115:
         if ((active0 & 0x80L) != 0L)
            return jjStartNfaWithStates_0(7, 7, 8);
         break;
      case 116:
         return jjMoveStringLiteralDfa8_0(active0, 0x21000L);
      case 117:
         return jjMoveStringLiteralDfa8_0(active0, 0x6000L);
      default :
         break;
   }
   return jjStartNfa_0(6, active0);
}