DBPedia server added BootstrapCDN
bootstrap css and tablesort js added to statistics page.
Make MarkerDestination work with FileLike instead of File
Update in ServerHeader. Fixed reported problems. Permission changed to as an original source. Added same bootstrap css to all server pages
Renamed css class variables
Do not capitalize page titles when importing dump

Capitalization of titles led to duplicates in SQL key for
namespace and title if a corresponding upper-case title was
already contained in the dump.

WikiTitle now has a new method parseCleanTitle which can be applied to
clean titles like those contained in Wikipedia dumps. Capitilization can
now also be disabled in the constructor of WikiTitle.
Update parameter names in documentation of WikiTitle
Make MarkerDestination work with FileLike instead of File
Change delete JavaDoc to annotation
Merge branch 'markerdestination' of github.com:nilesh-c/extraction-framework into markerdestination
Removed redundant imports
Simplify FileLike's generic type to T
Merge pull request #235 from nilesh-c/markerdestination

Make MarkerDestination work with FileLike instead of File
Merge pull request #236 from nilesh-c/filelike

Simplify FileLike's generic type to T
Merge pull request #234 from alismayilov/master

Design change for statistics page
Clarify check for explicitly given namespace
Merge pull request #232 from dfleischhacker/preventduplicates

Do not capitalize page titles when importing dump
Latest mappings.
Merge branch 'master' into commons