Empty ShellMenu constructor marked as deprecated (fixes #379)