javadoc improved
introduce NonTrivialActionGroup
hide some File-menu actions when appropriate:  File|Encoding, Line-separators, change R/O, HTML export