emulate some stuff JDT does to make autoclosing of ( and " less annoying