spring cleaning: warning free and static analyzer ok (modulo a couple of 'leaks' where we add stuff to the runtime)