Merge branch 'develop' of https://source.jalview.org/git/jalview.git into develop

diff --cc resources/lang/Messages.properties
index e6b69d5,6054d98..0d3d491
--- 1/resources/lang/Messages.properties
--- 2/resources/lang/Messages.properties
+++ b/resources/lang/Messages.properties
@@@ -1207,5 -1207,21 +1206,22 @@@ label.search_filter = Search Filte
  label.display_name = Display Label
  label.description = Description
  label.include_description= Include Description
+ action.back = Back
+ label.hide_insertions = Hide Insertions
+ label.mark_as_representative = Mark as representative
+ label.open_jabaws_web_page = Open JABAWS web page
+ label.opens_the_jabaws_server_homepage = Opens the JABAWS server's homepage in web browser
+ label.pdb_sequence_getcher = PDB Sequence Fetcher
+ label.result = result
+ label.results = results
+ label.structure_chooser = Structure Chooser
+ label.select = Select : 
+ label.invert = Invert 
+ label.select_pdb_file = Select PDB File
+ info.select_filter_option = Select Filter Option/Manual Entry
+ info.associate_wit_sequence = Associate with Sequence
+ label.search_result = Search Result
+ label.found_structures_summary = Found Structures Summary
+ label.configure_displayed_columns = Configure Displayed Columns
  label.start_jalview = Start Jalview
 +label.biojs_html_export = BioJS

diff --cc src/jalview/gui/PopupMenu.java
Simple merge