java and linux specific