adds a set of Eclipse Java formatting preferences