fix filenames

[ss1617.git] / jml_esc / BagMartLubbers.java

diff --git a/jml_esc/Bag.java b/jml_esc/BagMartLubbers.java
similarity index 100%
rename from jml_esc/Bag.java
rename to jml_esc/BagMartLubbers.java