Fixed optimize-js for previous commit.
Fix #12: implemented java.util.regex.*.