Generated by eclipse.