Exported Jalopy source code formatting profile.