If the use of `eval()` isn't plainly obvious (even to someone who's inexperienced in Java), then yes, it's a mistake. I shouldn't have to read the docs to find

If the use of `eval()` isn't plainly obvious (even to someone who's inexperienced in Java), then yes, it's a mistake. I shouldn't have to read the docs to find out that a seemingly innocent operation is in fact extremely dangerous.