Pure Trait Programming for the Java Platform