kframework/k — pull request #487 by yilongli (2014-05-22 19:05:08+00:00)
Title: added Java implementation for builtin string ops: replace/replaceAll/rep...

...laceFirst/countOccurences