fix java indent and kill scratch buffer