window.java modified