FROM tomcat:9.0-jdk11

# Install tools
RUN apt-get update && \
    apt-get install -y git maven && \
    rm -rf /var/lib/apt/lists/*

# Copy startup script
COPY start.sh /start.sh
RUN chmod +x /start.sh

# Change Tomcat port to 7860
RUN sed -i 's/port="8080"/port="7860"/' \
    /usr/local/tomcat/conf/server.xml

EXPOSE 7860

# Runtime: clones private repo then starts Tomcat
CMD ["/start.sh"]