private int jjMoveStringLiteralDfa3_0(long old0, long active0)
{
   if (((active0 &= old0)) == 0L)
      return jjMoveNfa_0(0, 2);
   try { curChar = input_stream.readChar(); }
   catch(java.io.IOException e) {
   return jjMoveNfa_0(0, 2);
   }
   switch(curChar)
   {
      case 48:
         return jjMoveStringLiteralDfa4_0(active0, 0x800000000000000L);
      case 50:
         return jjMoveStringLiteralDfa4_0(active0, 0x400000000000000L);
      case 55:
         return jjMoveStringLiteralDfa4_0(active0, 0x2000000000000L);
      case 56:
         return jjMoveStringLiteralDfa4_0(active0, 0x7de00000000000L);
      case 65:
         return jjMoveStringLiteralDfa4_0(active0, 0x380000000000000L);
      case 97:
         return jjMoveStringLiteralDfa4_0(active0, 0x380000000000000L);
      default :
         break;
   }
   return jjMoveNfa_0(0, 3);
}