Making Shell.java lazy-load