Fixed preferences for Eclipse IDE.
Tell Scala Organize Import to preserve existing groups.
Introduced methods full and empty in the JVMEnv abstract domain.