{
  "permissions": {
    "allow": [
      "Bash(javac:*)",
      "Bash(java:*)"
    ]
  }
}