# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1587577360 -3600
# Node ID 701fe81ada29b05ceed624b22ee4604f6ab46542
# Parent  4f31d3234620450ce1c8b8748f62f17a7e1bf511
java stuff

diff -r 4f31d3234620 -r 701fe81ada29 .bash_profile
--- a/.bash_profile	Wed Apr 22 18:42:23 2020 +0100
+++ b/.bash_profile	Wed Apr 22 18:42:40 2020 +0100
@@ -11,3 +11,8 @@
 EDITOR=emacs
 
 export PATH EDITOR
+
+export ANT_HOME=$HOME/src/apache-ant-1.10.7
+export MAVEN_HOME=$HOME/src/apache-maven-3.6.3
+export JAVA_HOME=$HOME/lib/openjdk-8u252-b09
+export PATH=${PATH}:${ANT_HOME}/bin:${MAVEN_HOME}/bin