Add override to register_languages in the Java tools

Author: martin

jbmc/src/janalyzer/janalyzer_parse_options.h

@@ -154,8 +154,8 @@ class optionst;
 class janalyzer_parse_optionst : public parse_options_baset
 {
 public:
-  virtual int doit() override;
-  virtual void help() override;
+  int doit() override;
+  void help() override;
 
   janalyzer_parse_optionst(int argc, const char **argv);
 
@@ -177,7 +177,7 @@ class janalyzer_parse_optionst : public parse_options_baset
 protected:
   std::unique_ptr<class_hierarchyt> class_hierarchy;
 
-  void register_languages();
+  void register_languages() override;
 
   void get_command_line_options(optionst &options);
 

jbmc/src/jdiff/jdiff_parse_options.h

@@ -42,13 +42,13 @@ class goto_modelt;
 class jdiff_parse_optionst : public parse_options_baset
 {
 public:
-  virtual int doit();
-  virtual void help();
+  int doit() override;
+  void help() override;
 
   jdiff_parse_optionst(int argc, const char **argv);
 
 protected:
-  void register_languages();
+  void register_languages() override;
 
   void get_command_line_options(optionst &options);