Thanks for your replies. So no interaction it will be.The package I am thinking about is supposed to install itself in the JRE directory (java). Some configuration have a JAVA_HOME variable set, which allows the PKGBUILD to decide for the user, but some do not have it.
I am having a strange phanomenon.I have jdk7-openjdk installed, but I still have% echo $JAVA_HOME /usr/lib/jvm/java-7-openjdk/jreThis is only with my current user. When I try root or a freshly created user, I correctly get% echo $JAVA_HOME /usr/lib/jvm/java-7-openjdkSo I guess this is caused by something in my home directory.