Bug fix

Renamed the admin menu entry from "Profenv" to "Environment Settings".When no environment sets have been saved yet, the ...