Sun Java on Linux Setup for Stud Muffins

[Hill, Greg]

> 4) Override the bull crap GNU gij version of java that came with your
> distro.
>   - Append the following lines to your ~/.bash_profile file (or
> /etc/profile, or /etc/profile.d/):
>   export JDK_HOME=/usr/java/jdk1.6.0
>   export JAVA_HOME=$JDK_HOME
>   export PATH=$JAVA_HOME/bin:$PATH
>   - Save the file
>   - Restart your desktop environment (if applicable), or logout and
> login to a new shell.

Any reason not to just do this?
source ~/.bash_profile

Seems easier than logging in again, but maybe there's some technical
limitation of which I am unaware.

Greg