Original: It was known as Jonerstown until 1815, when it was officially called Dover.
Simplified: It was known as Jonerstown until 1815, when the name was changed to Dover.