#15248: delete Manager.java
1 file changed