Update WorkSpace.java