Uploaded a PROPPER solution to the java1.7 problem