Extension of Java to include Traits