The function JAVADECODE ignored characters after a non-escaped double quote. This is no longer the case.
