This is one way of fixing #1633.  Replace nice curly quotes with plain quotes immediately before processing-java prints them, that way they stay as intended in the IDE.