Is an option needed for this? Does the JDK have such an option? Shouldn't this be done automatically when formatting code? (Which we don't do yet...)

The JDT has something similar in the "clean up" operation.

I suggested to have it as an option because it can give trouble with version management if there is no "ignore whitespace changes" or if thet option is not used. Thics could create merge problems, so the user should be aware that this can happen.

Updating tickets (#217, #218, #219, #220, #221, #223, #224, #229, #239, #240, #241, #244, #245, #261, #265, #274, #278, #280, #281, #283, #285, #298, #307, #318, #326, #331, #332, #335, #336, #338, #342, #348, #216, #237, #247, #255, #264, #277, #321, #328, #113, #114, #129, #131, #211, #222, #231, #242, #256, #323, #325, #150, #172, #252, #276, #291, #294, #316, #317, #339, #340, #343, #44, #195, #234, #249, #313, #314, #344, #228, #160, #173, #235, #238)

Updating tickets (#147, #349, #79, #137, #157, #204, #80, #242, #401, #359, #366, #373, #364, #377, #76, #168, #170, #241, #245, #252, #276, #317, #339, #351, #372, #374, #380, #405, #58, #89, #116, #121, #169, #174, #175, #188, #205, #223, #240, #340, #354, #166, #56, #106, #277, #328, #53, #84, #99, #216, #237, #247, #249, #314, #321, #403)

Updating tickets (#134, #40, #43, #80, #100, #113, #120, #129, #131, #137, #156, #157, #179, #211, #222, #228, #231, #242, #326, #349, #379, #451, #455, #459, #523, #524, #530, #41, #46, #52, #58, #61, #62, #64, #76, #83, #89, #93, #95, #115, #116, #119, #121, #130, #135, #145, #149, #152, #155, #159, #163, #164, #168, #169, #170, #175, #181, #182, #188, #194, #199, #200, #205, #208, #210, #218, #219, #223, #224, #235, #237, #238, #239, #240, #241, #244, #252, #261, #265, #274, #276, #281, #283, #285, #294, #298, #316, #317, #318, #331, #332, #335, #336, #339, #340, #351, #354, #358, #364, #366, #372, #374, #375, #377, #378, #380, #383, #392, #394, #398, #405, #407, #410, #411, #412, #413, #415, #418, #422, #423, #424, #425, #427, #429, #430, #432, #436, #437, #438, #440, #442, #443, #445, #446, #447, #448, #449, #450, #452, #454, #460, #464, #465, #470, #471, #474, #477, #478, #479, #483, #484, #492, #493, #494, #495, #497, #498, #499, #506, #508, #510, #511, #512, #514, #515, #516, #517, #519, #521, #536, #537, #540, #541, #542, #543, #545, #546, #42, #44, #53, #54, #56, #67, #68, #69, #84, #87, #98, #99, #101, #106, #117, #118, #132, #144, #160, #166, #195, #216, #234, #249, #255, #264, #313, #314, #321, #328, #359, #387, #416, #419, #421, #428, #439, #463, #485, #488, #489, #528, #59, #123, #433)

Updating tickets (#503, #529, #40, #43, #120, #157, #179, #211, #222, #228, #326, #379, #451, #459, #523, #524, #530, #559, #535, #176, #177, #386, #389, #409, #434, #473, #41, #52, #62, #64, #83, #93, #115, #135, #145, #149, #155, #159, #163, #181, #194, #199, #200, #208, #210, #219, #224, #261, #265, #274, #281, #283, #285, #294, #298, #316, #318, #331, #332, #335, #336, #358, #375, #383, #394, #398, #412, #413, #415, #422, #423, #424, #425, #432, #440, #442, #443, #446, #448, #449, #450, #452, #454, #460, #464, #471, #474, #479, #483, #484, #492, #497, #506, #510, #512, #516, #519, #521, #536, #537, #541, #543, #546, #555, #556, #561, #564, #565, #291, #431, #502, #520, #522, #532, #469, #42, #44, #69, #87, #132, #195, #234, #255, #264, #313, #387, #419, #421, #428, #439, #488, #489, #558, #123, #433, #80, #113, #137, #242, #349, #455, #46, #58, #61, #76, #89, #95, #116, #121, #152, #168, #169, #170, #175, #188, #205, #218, #223, #237, #240, #241, #252, #276, #317, #339, #340, #351, #354, #364, #366, #372, #374, #377, #380, #405, #407, #410, #429, #430, #436, #437, #438, #445, #447, #470, #477, #478, #493, #494, #495, #498, #499, #511, #545, #548, #562, #563, #373, #401, #475, #560, #53, #84, #98, #99, #106, #117, #118, #166, #216, #249, #314, #321, #328, #359, #463, #485, #134, #100, #156, #427, #554, #551, #552, #550, #553, #129, #131, #231, #114, #323, #325, #119, #130, #164, #182, #235, #238, #239, #244, #378, #392, #411, #465, #508, #514, #515, #517, #557, #54, #67, #68, #101, #144, #160, #416, #528)

Updating tickets (#95, #106, #182, #483, #40, #42, #43, #69, #84, #89, #123, #152, #199, #216, #237, #291, #294, #313, #317, #321, #380, #477, #478, #485, #494, #511, #265, #548)

Updating tickets (#106, #113, #129, #130, #182, #223, #235, #276, #325, #438, #483, #529, #580, #40, #42, #43, #44, #46, #53, #58, #61, #69, #76, #80, #84, #89, #115, #116, #117, #119, #121, #123, #152, #164, #166, #168, #169, #170, #176, #188, #199, #208, #211, #216, #231, #234, #237, #238, #239, #244, #249, #252, #255, #264, #291, #294, #313, #314, #317, #321, #323, #326, #328, #336, #366, #374, #377, #378, #380, #392, #394, #398, #407, #410, #430, #440, #447, #459, #463, #465, #477, #478, #485, #491, #494, #496, #508, #511, #524, #530, #545, #560, #565, #569, #570, #576, #584, #590, #594, #596, #620, #621, #100, #160, #205, #240, #265, #436, #439, #452, #475, #493, #495, #506, #514, #515, #517, #536, #548, #557, #589, #600, #62, #99, #118, #132, #145, #210, #359, #387, #419, #433, #437, #445, #488, #498, #499)

Updating tickets (#836, #664, #800, #321, #479, #776)