Update CODEOWNERS for /jbmc

Author: peterschrammel

CODEOWNERS

@@ -21,7 +21,7 @@ src/solvers/miniBDD @tautschnig @kroening
 src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel
 src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel
 src/solvers/smt2 @martin-cs @tautschnig @peterschrammel
-src/miniz/ @smowton @mgudemann @peterschrammel
+jbmc/src/miniz/ @smowton @mgudemann @peterschrammel
 
 
 # These files change frequently and changes are high-risk
@@ -30,7 +30,7 @@ src/cbmc/ @smowton @kroening @tautschnig @peterschrammel
 src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
 src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
 src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
-src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
+jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
 src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton
 src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton
 
@@ -40,7 +40,9 @@ src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton
 src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
 src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel
 src/goto-diff/ @tautschnig @peterschrammel
-src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
+jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
+jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
+jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
 src/cpp/ @kroening @tautschnig @peterschrammel
 
 
@@ -50,6 +52,8 @@ src/util/irep_ids.def @diffblue/cbmc-developers
 
 unit/ @diffblue/cbmc-developers
 regression/ @diffblue/cbmc-developers
+jbmc/unit/ @diffblue/cbmc-developers
+jbmc/regression/ @diffblue/cbmc-developers
 
 scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
 .travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel