auto-import for storm-0.8.2