various small stuff I find useful for android development