Update TypeCheckProcFactory.java