minor error in sloeber.ino.cpp

I have installed sloeber using V4.2_linux64.2017-11-20_02-16-52.tar.gz on Ubuntu 18. I added Adafruit's AVR boards and created a default project called test. I looked at the sloeber.ino.cpp file and noticed that the

#include "Arduino.h"

line was duplicated. This isn't a big problem but isn't technically correct.

How is this file generated? The comment says it's automatically generated. Is there a template?

EDIT: sorry - my guess is this is posted in the wrong place