\documentclass[a4paper,12pt,oneside,table]{report}
\usepackage[utf8]{inputenc}
\usepackage[british]{babel}
\usepackage{float}
\usepackage{graphicx}
\usepackage[hidelinks]{hyperref}
\usepackage[acronyms,toc]{glossaries}
\usepackage{nameref}
\usepackage{verbatim}
\usepackage{pgfplots}
\usepackage{footnote}
\usepackage{multirow}
\usepackage{multicol}
\usepackage[yyyymmdd]{datetime}
\usepackage{geometry}
\usepackage{todonotes}
\usepackage{epigraph}
\usepackage{csquotes}
\usepackage{pdfpages}
\usepackage{breqn}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}
\usepackage{caption}
\usepackage{listings}
\usepackage{framed}
%\usepackage[table]{xcolor}
\usepackage{lmodern}
\usepackage{wrapfig}
\usepackage{assets/stinger}
\usepackage{assets/lstset}

\graphicspath{ {images/} }
%\setlength\parindent{0pt}

\definecolor{shadecolor}{rgb}{.9, .9, .9}

\DeclareMathSizes{12}{10}{8}{7}
\newlength\longest
\newcommand{\keyword}[1]{\lstinline[mathescape=false]{#1}}

\usepackage[backend=bibtex,style=ieee,uniquelist=false,mincitenames=1,
    maxcitenames=2]{biblatex}
\bibliography{literature}
\bibliography{online}
\setcounter{secnumdepth}{3}

\makeglossaries
\input{glossary}
\input{abbreviations}
\setacronymstyle{long-short}


\protected\def\ignorethis#1\endignorethis{}
\let\endignorethis\relax
\def\TOCstop{\addtocontents{toc}{\ignorethis}}
\def\TOCstart{\addtocontents{toc}{\endignorethis}}

\usepackage{titlesec}
\titleclass{\chapter}{top}
\titleformat{\chapter}[hang]{\LARGE\bfseries}{\thechapter\hspace{20pt}
{\textbar}\hspace{20pt}}{0pt}{\LARGE\bfseries}

\newcommand{\fass}{:=}
\newcommand{\var}[1]{\mathtt{#1}}
\newcommand{\dualcite}[1]{\citeauthor{#1}\autocite{#1}}
\renewcommand{\lstlistlistingname}{List of \lstlistingname s}




\title{\Huge Verifying Java Programs in Eclipse using Coq}

\author{Henningsen, Kasper Stig\\ \texttt{ksti@itu.dk} \and
Hinrichsen, Jonas Kastberg\\ \texttt{jkas@itu.dk} \and
Malone, Simon Oliver\\ \texttt{soma@itu.dk}}

\begin{document}
\pagenumbering{gobble}
\includepdf{frontpage}
\pagenumbering{roman}
\maketitle

\input{abstract}

\glsresetall

\tableofcontents

\listoffigures
\begingroup
\let\clearpage\relax
\listoftables
\lstlistoflistings
\endgroup

\clearpage

\pagenumbering{arabic}
%\todo[inline]{Math size back to normal? Yay or nay?}
\chapter{Introduction}

\input{introduction}

\chapter{Background and Analysis}

\input{background}

\chapter{Proposed Solution}

\input{proposed_solution}

\chapter{Usage}

\input{usage}

\chapter{Discussion}

\input{discussion}

%\chapter{Reflections}

%\input{reflections}

\chapter{Conclusion}

\input{conclusion}

%\begingroup
%\renewcommand{\clearpage}{}
%\endgroup

%\begingroup
%\renewcommand{\clearpage}{}
%\endgroup

%\begingroup
%\renewcommand{\clearpage}{}
%\endgroup

\clearpage
\pagenumbering{roman}
\appendix

\printglossary[type=\acronymtype]

\printglossary[title=Glossary]

\printbibliography[title={References},nottype=misc]
\printbibliography[title={Online references},type=misc]

\newpage

\input{appendix}

\end{document}