fix for the default hj distrib selection: if HJ_HOME is not set, then use the default input jar files otherwise, use HJ_HOME... no the opposite !
Authored by: vincent_cave 2012-03-06
Parent: [r5477]
Child: [r5479]
