classical Java formatting