Run bash -xl to see which startup files are loaded with your shell. .profile may actually not be read. Otherwise try adding export to your assignment:
export PATH=$PATH:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Reference about Bash's startup files: Bash Startup Files