And those are better than the code generated by eclipse?