JDT Clean-up Use String.replace() instead of String.replaceAll() when#3544

vogella merged 2 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:string-replace-cleanupvogella/eclipse.platform.ui:string-replace-cleanupCopy head branch name to clipboard