Reverting Zhen's changes from LIBSBOLJ to my last commit on November
18th at 1:09 p.m.