Various useful scripts for linux. Mostly java-related