fix filenames

[ss1617.git] / jml_esc / AmountMartLubbers.java

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