Fix regression: Traits were marked as java interfaces
UI Improvement: 'Unverified by compiler' rather than (?)
Fix potential NPE