That is interesting to investigate. It shouldn't have anything with our plugins, but the eclipse core....

maybe it's just that the f5 key isn't mapped properly in erlang perspective?

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 (#737, #242, #364, #373, #411, #473, #561, #218, #339, #358, #422, #423, #424, #425, #428, #432, #535, #543, #599, #636, #671, #684, #693, #694, #699, #41, #52, #64, #83, #93, #120, #149, #157, #163, #177, #179, #194, #195, #219, #222, #228, #261, #274, #281, #283, #285, #298, #318, #335, #349, #351, #375, #379, #383, #401, #405, #409, #412, #413, #434, #442, #449, #450, #451, #454, #460, #471, #492, #523, #537, #555, #559, #574, #577, #581, #598, #603, #615, #619, #632, #634, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #673, #674, #679, #685, #695, #696, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791, #159, #372, #443, #479, #564, #601, #610, #622, #677, #429, #489)

Updating tickets (#560, #613, #737, #41, #52, #64, #83, #93, #120, #149, #157, #159, #163, #177, #179, #194, #195, #218, #219, #222, #228, #242, #261, #274, #281, #283, #285, #298, #318, #335, #339, #349, #351, #358, #364, #372, #373, #375, #379, #383, #401, #405, #409, #411, #412, #413, #422, #423, #424, #425, #428, #429, #432, #434, #442, #443, #449, #450, #451, #454, #460, #471, #473, #479, #489, #492, #523, #535, #537, #543, #555, #559, #561, #564, #574, #577, #581, #598, #599, #601, #603, #610, #615, #619, #622, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #671, #673, #674, #677, #679, #684, #685, #693, #694, #695, #696, #699, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791)

Updating tickets (#802, #52, #64, #460, #720, #749, #769, #775, #776, #786, #851, #83, #93, #149, #157, #163, #179, #194, #195, #222, #228, #274, #281, #283, #285, #335, #339, #349, #351, #358, #364, #373, #375, #379, #383, #401, #405, #409, #411, #413, #422, #424, #425, #428, #434, #442, #443, #449, #450, #454, #471, #479, #492, #523, #535, #537, #543, #561, #564, #574, #590, #598, #599, #603, #610, #615, #619, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #674, #677, #684, #685, #688, #689, #693, #694, #695, #696, #699, #700, #707, #709, #719, #736, #743, #744, #746, #748, #759, #760, #761, #762, #774, #778, #780, #788, #789, #796, #798, #799, #800, #803, #809, #812, #813, #816, #820, #822, #829, #836, #837, #840, #841, #842, #848, #849, #850, #853, #854, #855, #856, #857, #860, #867, #868, #871, #872, #873, #875, #41, #159, #372, #429, #489, #577, #601, #622, #667, #679, #767, #768, #772, #785, #771)

Updating tickets (#454, #479, #537, #677, #696, #748)