Moved a bunch of stuff from JavaWorkspace