Renaming /doc to /docs for use with GitHub Pages
[jpf-core.git] / docs / install / netbeans-jpf.md
1 # netbeans-jpf #
2
3 This is a plugin to launch JPF on selected application properties (*.jpf) files from within NetBeans. No worries, this is a minimal plugin that mainly starts an external process (JPF), so it doesn't muck with your NetBeans views.
4
5 The main functions are
6
7  - start the JPF shell in an external process
8  - wait for editor positioning requests from the JPF shell, and show the corresponding source lines
9
10 Why is this named differently than all the other projects? Because it is a different kind of project: this is *not* a normal JPF project, i.e. it is not a freeform NetBeans project with the usual JPF directory structure and artifacts. It is a NetBeans module, and it's main artifact is a *.nbm file in the build directory.