diffblue
diff --git a/‎jbmc/regression/jbmc/synchronized/Sync.class renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/Sync.class b/‎jbmc/regression/jbmc/synchronized/Sync.class renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/Sync.class
diff --git a/‎jbmc/regression/jbmc/synchronized/Sync.java renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/Sync.java b/‎jbmc/regression/jbmc/synchronized/Sync.java renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/Sync.java
diff --git a/‎jbmc/regression/jbmc/synchronized/test.desc renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/test.desc b/‎jbmc/regression/jbmc/synchronized/test.desc renamed to ‎jbmc/regression/jbmc-concurrency/synchronized/test.desc