formatted all sources according to Eclipse's built-in "Java Conventions"
style