tweak git ignore file
rename properties to actually used names
whitespace formatting