Indeed — though hopefully somewhat in my defense, I did write this back in 2015, hadn’t used GitHub at that point, and hadn’t built anything in Java since college (and did everything in notepad at that point like some sort of heathen).

Updated to mention Jenkins :)