A programming style for java