Apply Eclipse-format and more documentation