some cleanup in l9.java