public void restored() { java.beans.Beans.setDesignTime(true); java.beans.Beans.setGuiAvailable(true); System.setProperty("rave.version", "2.0.0"); // NOI18N // TODO -- automatically derive from the build somehow: System.setProperty("rave.build", "thresher-fcs"); // NOI18N }