PR# 2946 Can't create infix or prefix operator names that contain a percent sign

From reading OOSC 2, it should be legal to create a prefix operator with a name like 
   "#$%"
or
   "#$%%"
But with the first version, EiffelBench is escaping the closing quote and reports a syntax error at the end of the line. With the second version, EB reports a syntax error on the closing quote.

Greg

-- This is my test program
class
	JUST_TEST

creation

	make

feature -- Initialization

	make is
		do
		end;

feature prefix "#$%" is do end

end -- class JUST_TEST