Removed redundant lines in Jos1511.