Sorry for the delay of my reply as well, @louise-davies!
It seems this line
source ~/.bash_profile
is changing the default Java version from openjdk version "1.8.0_181"
to openjdk version "11.0.1" 2018-10-16
.
Could you tell us why you are sourcing .bash_profile
there?
Thanks!