Reformatted Java sources with new suggestion for Eclipse settings.