/etc/profile.d/java_home not sourced

See https://github.com/camptocamp/puppet-os/blob/master/files/etc/profile-debian line 25: the file name must ends with `.sh`